Functor Ordset.MakeAux

module MakeAux: functor (Ord : AuxOrderedType) -> AuxS  with type elem = Ord.t and type aux = Ord.aux

Functor building an implementation of the Ordset.AuxS type given a totally ordered type.

Parameters:

Ord : AuxOrderedType

type elem

type aux

val list_to_ord_set : aux -> elem list -> elem list

val ord_insert : aux ->
       elem list -> elem -> elem list

val ord_union : aux ->
       elem list -> elem list -> elem list

val ord_intersection : aux ->
       elem list -> elem list -> elem list

val ord_subtract : aux ->
       elem list -> elem list -> elem list

val ord_symdiff : aux ->
       elem list -> elem list -> elem list

val ord_subset : aux -> elem list -> elem list -> bool

val ord_disjoint : aux -> elem list -> elem list -> bool

val ord_intersect : aux -> elem list -> elem list -> bool