functor (Ord : Set.OrderedType->
  sig
    type elt = Ord.t
    type t
    val empty : t
    val is_empty : t -> bool
    val mem : elt -> t -> bool
    val mult : elt -> t -> int
    val singleton : elt * int -> t
    val add : elt * int -> t -> t
    val remove : elt * int -> t -> t
    val union : t -> t -> t
    val inter : t -> t -> t
    val diff : t -> t -> t
    val union_set : t -> elt SetList.t -> t
    val inter_set : t -> elt SetList.t -> t
    val diff_set : t -> elt SetList.t -> t
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val subset : t -> t -> bool
    val iter : (elt * int -> unit) -> t -> unit
    val fold : (elt * int -> '-> 'a) -> t -> '-> 'a
    val fold_right : (elt * int -> '-> 'a) -> t -> '-> 'a
    val fold_left : ('-> elt * int -> 'a) -> '-> t -> 'a
    val filter : (elt -> bool) -> t -> t
    val partition : (elt -> bool) -> t -> t * t
    val cardinal : t -> int
    val elements : t -> elt SetList.t
    val min_elt : t -> elt
    val max_elt : t -> elt
    val min : t -> elt * int
    val max : t -> elt * int
    val mins : t -> elt SetList.t * int
    val maxs : t -> elt SetList&tfnbsp;* int
    val choose : t -> elt
    val of_set : elt SetList.t -> t
    val to_set : t -> elt SetList.t
    val print :
      ?first:(unit, Format.formatter, unit) format ->
      ?sep:(unit, Format.formatter, unit) format ->
      ?last:(unit, Format.formatter, unit) format ->
      (Format.formatter -> elt -> unit) -> Format.formatter -> t -> unit
  end