inox.ast.Definitions
Represents an ADT definition (either the ADT sort or a constructor).
The root of the class hierarchy
An equality relation defined on this ADTDefinition
An invariant that refines this ADTDefinition
Represents an ADT definition (either the ADT sort or a constructor).