sig val accept_base_in_lmap : Db_types.kernel_function -> Base.t -> bool val final_cleanup : Db_types.kernel_function -> Function_Froms.t -> Function_Froms.t val record_kf : Db_types.kernel_function -> Function_Froms.t -> unit end