DomainClause

This clause defines a set of values that are used as the default domain for parameters of the specified type.

DomainClause ::= domain Type = Domain .
Domain ::= Domain + Domain | EmbeddedCode | instances Type | { [ ElementList ] } | CollectionBySizeDomain .
CollectionBySizeDomain ::= Type [ Literal [ .. Literal ] ] .
ElementList ::= Element { , Element } .
Element ::= Expression [ .. Expression ] .



Show: