Up

Module Raw

Signature

type ('base, 'set) t = private
| Base of 'base
| Set of 'set
| Union of ('base, 'set) t * ('base, 'set) t
| Inter of ('base, 'set) t * ('base, 'set) t
| Diff of ('base, 'set) t * ('base, 'set) t
val compare : ('base -> 'base -> int) -> ('set -> 'set -> int) -> ('base, 'set) t -> ('base, 'set) t -> int