Module type From_register.Recording_Sig


module type Recording_Sig = sig .. end

val record_kf : Db_types.kernel_function -> Function_Froms.t -> unit