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