module type Recording_Sig = sig .. end
sig
end
val record_kf : Db_types.kernel_function -> Function_Froms.t -> unit
Db_types.kernel_function -> Function_Froms.t -> unit