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