module Equality_sig:sig
..end
Equality
module, that implements equalities
over ordered typestype 'a
trivial =
| |
Trivial |
| |
NonTrivial of |
type 'a
tree =
| |
Empty |
| |
Leaf of |
| |
Node of |
module type S =sig
..end
module type Set =sig
..end
module type S_with_collections =sig
..end