sig
  type elem
  type aux
  val list_to_ord_set :
    Ordset.AuxS.aux -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list
  val ord_insert :
    Ordset.AuxS.aux ->
    Ordset.AuxS.elem list -> Ordset.AuxS.elem -> Ordset.AuxS.elem list
  val ord_union :
    Ordset.AuxS.aux ->
    Ordset.AuxS.elem list -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list
  val ord_intersection :
    Ordset.AuxS.aux ->
    Ordset.AuxS.elem list -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list
  val ord_subtract :
    Ordset.AuxS.aux ->
    Ordset.AuxS.elem list -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list
  val ord_symdiff :
    Ordset.AuxS.aux ->
    Ordset.AuxS.elem list -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list
  val ord_subset :
    Ordset.AuxS.aux -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list -> bool
  val ord_disjoint :
    Ordset.AuxS.aux -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list -> bool
  val ord_intersect :
    Ordset.AuxS.aux -> Ordset.AuxS.elem list -> Ordset.AuxS.elem list -> bool
end