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.