Module type From_compute.Froms_To_Use_Sig

module type Froms_To_Use_Sig = sig .. end
Signature of the module explaining how to find the Froms for a given call during the analysis.

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