Module auxillary

Defines practical structs that are extremely convenient and spec-compliant, but not necessary mentioned in it.

Structs

• NonEmptyVec
  A newtype for a vector that deserializes non-empty only.
• Version
  Represents a specification-compliant version number.

Enums

• AtomicType
  The possible types that are considered as open-ended domains for atomic facts.
• ExpressionKind
  The type of Expressions, which is either a boolean expression or an instance expression.
• ExtendKind
  Defines the possible types that can be extended.
• Message
  Toplevel enum that parses *any* eFLINT JSON request or response.
• PhraseSubclass
  Groups particular Phrases together into phrase subclasses.
• TriggerKind
  Determines what types may be triggered.
• ViolationKind
  Determines what types may be violated.