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