functor (T : Types->
  sig
    module type S =
      sig
        val create : int -> 'T.t
        val add : 'T.t -> 'T.elt -> unit
        val strict_add : 'T.t -> 'T.elt -> unit
        val remove : 'T.t -> 'T.elt -> unit
        val strict_remove : 'T.t -> 'T.elt -> unit
        val clear : 'T.t -> unit
        val fold : f:('-> 'T.elt -> 'a) -> init:'-> 'T.t -> 'a
        val iter : f:('T.elt -> unit) -> 'T.t -> unit
        val length : 'T.t -> int
        val mem : 'T.t -> 'T.elt -> bool
        val is_empty : 'T.t -> bool
        val of_list : 'T.elt list -> 'T.t
        val to_list : 'T.t -> 'T.elt list
        val equal : 'T.t -> 'T.t -> bool
      end
  end