Documentation
type AnDecl = Annotated (Maybe SymbolTable, PSymbolTable) DeclSource
type AnAssertion = Annotated () AssertionSource
type PAssertion = AnAssertionSource
type TCAssertion = AnAssertionSource
data BinaryBooleanOp Source
data BinaryMathsOp Source
data InteractiveStmt Source
data ModelOption Source
data SemanticProperty Source
data DataTypeClause Source