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 =

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