module type Froms_To_Use_Sig = sig .. end
sig
end
val get : Db_types.kernel_function -> Cil_types.kinstr -> Function_Froms.t
Db_types.kernel_function -> Cil_types.kinstr -> Function_Froms.t