Module Equality_sig

module Equality_sig: sig .. end
Signature for Equality module, that implements equalities over ordered types

type 'a trivial = 
| Trivial
| NonTrivial of 'a
type 'a tree = 
| Empty
| Leaf of 'a
| Node of 'a tree * 'a tree
module type S = sig .. end
Representation of an equality between a set of elements.
module type Set = sig .. end
Sets of equalities.
module type S_with_collections = sig .. end