functor (Strat : Strategy) ->
  functor (Store : Store) ->
    sig
      type ('k, 'v) t
      type 'a with_init_args = 'a Store.with_init_args Strat.with_init_args
      type ('a, 'b) memo = ('a, ('b, exn) Core.Std.Result.t) t
      val find : ('k, 'v) t -> 'k -> 'v option
      val add : ('k, 'v) t -> key:'k -> data:'v -> unit
      val remove : ('k, 'a) t -> 'k -> unit
      val clear : ('a, 'b) t -> unit
      val create : destruct:('v -> unit) option -> ('k, 'v) t with_init_args
      val call_with_cache : cache:('a, 'b) memo -> ('a -> 'b) -> 'a -> 'b
      val memoize :
        ?destruct:('b -> unit) ->
        ('a -> 'b) -> (('a, 'b) memo * ('a -> 'b)) with_init_args
    end