Previous  Up  Next

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.