sig   module type To_Use =     sig       val get_from_call :         Cil_types.kernel_function -> Cil_types.stmt -> Function_Froms.t       val get_value_state : Cil_types.stmt -> Db.Value.state       val keep_base : Cil_types.kernel_function -> Base.t -> bool       val cleanup_and_save :         Cil_types.kernel_function -> Function_Froms.t -> Function_Froms.t     end   val compute_using_prototype_for_state :     Db.Value.state -> Kernel_function.t -> Function_Froms.froms   val find_deps_no_transitivity :     Db.Value.state -> Cil_types.exp -> Function_Froms.Deps.t   val find_deps_lval_no_transitivity :     Db.Value.state -> Cil_types.lval -> Function_Froms.Deps.t   module Make :     functor (To_Use : To_Use->       sig         val compute_and_return : Kernel_function.t -> Function_Froms.t         val compute : Kernel_function.t -> unit       end   exception Call_did_not_take_place end