Module type From_register.Froms_To_Use_Sig


module type Froms_To_Use_Sig = sig .. end

val get : Cil_types.kernel_function -> Cil_types.kinstr -> Function_Froms.t