module Callwise: sig .. end
sig
end
val iter : ((Cil_types.kinstr -> Function_Froms.t -> unit) -> unit) Stdlib.ref
((Cil_types.kinstr -> Function_Froms.t -> unit) -> unit) Stdlib.ref
val find : (Cil_types.kinstr -> Function_Froms.t) Stdlib.ref
(Cil_types.kinstr -> Function_Froms.t) Stdlib.ref