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