Next: Semantics of Relations, Up: Semantics [Contents][Index]
This section gives semantics and examples of some of the constructs listed in the syntax section. For the semantics of the more straightforward relations, actions and functions we refer the reader to the doc strings in Listing of Builtin Types
