module Recording_To_Do:sig
..end
val accept_base_in_lmap : Db_types.kernel_function -> Base.t -> bool
val final_cleanup : Db_types.kernel_function -> Function_Froms.tt -> Function_Froms.tt
val record_kf : From_register.Functionwise_Dependencies.key ->
From_register.Functionwise_Dependencies.data -> unit