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
include sig ... end
val compare : ('base ‑> 'base ‑> int) ‑> ('set ‑> 'set ‑> int) ‑> ('base, 'set) t ‑> ('base, 'set) t ‑> int