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