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 -> Cil_types.assigns -> 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