module Equality:sig
..end
Equalities between syntactic lvalues and expressions.
type 'a
trivial =
| |
Trivial |
| |
NonTrivial of |
type 'a
tree =
| |
Empty |
| |
Leaf of |
| |
Node of |
typeelt =
Hcexprs.HCE.t
The type of the equality elements.
module Equality:sig
..end
Representation of an equality between a set of elements.
typeequality =
Equality.t
module Set:sig
..end
Sets of equalities.