functor (S : Weakey) ->
  sig
    type key = S.t
    type 'a t
    val create : int -> 'a t
    val clear : 'a t -> unit
    val copy : 'a t -> 'a t
    val find : 'a t -> key -> 'a
    val mem : 'a t -> key -> bool
    val set : 'a t -> key -> 'a -> unit
    val remove : 'a t -> key -> unit
    val length : 'a t -> int
    val memoize : int -> (key -> 'a) -> key -> 'a
    val memoize_rec : int -> ((key -> 'a) -> key -> 'a) -> key -> 'a
    val memoize_option : int -> (key option -> 'a) -> key option -> 'a
  end