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