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