Module Equality

module Equality: sig .. end
Equalities between syntactic lvalues and expressions.

type 'a trivial = 
| Trivial
| NonTrivial of 'a
type 'a tree = 
| Empty
| Leaf of 'a
| Node of 'a tree * 'a tree
type elt = Hcexprs.HCE.t 
The type of the equality elements.
module Equality: sig .. end
Representation of an equality between a set of elements.
type equality = Equality.t 
module Set: sig .. end
Sets of equalities.