sig
  type elt
  type t
  val repr : Sette.S.t -> Sette.S.elt Sette.set
  val obj : Sette.S.elt Sette.set -> Sette.S.t
  module Ord : sig type t = elt val compare : t -> t -> int end
  val empty : Sette.S.t
  val is_empty : Sette.S.t -> bool
  val mem : Sette.S.elt -> Sette.S.t -> bool
  val add : Sette.S.elt -> Sette.S.t -> Sette.S.t
  val singleton : Sette.S.elt -> Sette.S.t
  val remove : Sette.S.elt -> Sette.S.t -> Sette.S.t
  val union : Sette.S.t -> Sette.S.t -> Sette.S.t
  val inter : Sette.S.t -> Sette.S.t -> Sette.S.t
  val diff : Sette.S.t -> Sette.S.t -> Sette.S.t
  val compare : Sette.S.t -> Sette.S.t -> int
  val equal : Sette.S.t -> Sette.S.t -> bool
  val subset : Sette.S.t -> Sette.S.t -> bool
  val iter : (Sette.S.elt -> unit) -> Sette.S.t -> unit
  val fold : (Sette.S.elt -> '-> 'a) -> Sette.S.t -> '-> 'a
  val for_all : (Sette.S.elt -> bool) -> Sette.S.t -> bool
  val exists : (Sette.S.elt -> bool) -> Sette.S.t -> bool
  val filter : (Sette.S.elt -> bool) -> Sette.S.t -> Sette.S.t
  val partition : (Sette.S.elt -> bool) -> Sette.S.t -> Sette.S.t * Sette.S.t
  val cardinal : Sette.S.t -> int
  val elements : Sette.S.t -> Sette.S.elt list
  val min_elt : Sette.S.t -> Sette.S.elt
  val max_elt : Sette.S.t -> Sette.S.elt
  val choose : Sette.S.t -> Sette.S.elt
  val print :
    ?first:(unit, Format.formatter, unit) Pervasives.format ->
    ?sep:(unit, Format.formatter, unit) Pervasives.format ->
    ?last:(unit, Format.formatter, unit) Pervasives.format ->
    (Format.formatter -> Sette.S.elt -> unit) ->
    Format.formatter -> Sette.S.t -> unit
end