sig
  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
end