EnumDeclaration
case class EnumDeclaration(name: String, possibilities: ListSet[String], values: ListSet[Value]) extends Declaration
A declaration for an enumerated type.
- Value parameters:
- possibilities
the allowed values
- values
some extra invariant values