/ GENTLE PRIMER
/ A Summary of Predefined Predicates
The Predicate @
The predicate @ is used in grammar rules to obtain the source
coordinate of a construct as in
Expr(-> X) @(-> P)where P is defined as the source coordinate of the preceding Expr.