5.5. Units associated with values of any mode
5.5.1. Casts {Casts may be used to provide a strong position. For example, REF REAL(xx) in REF REAL(xx) := 1, REF BOOK(NIL) in next OF draft :=: REF BOOK(NIL) and STRING(p | c | r) in s +:= STRING(p | c | r).}
5.5.1.1. Syntax a) MOID NEST cast{5D } : formal MOID NEST declarer{46b } , strong MOID NEST ENCLOSED clause{31a,33a,c,d,e,34a,35a,-}. {Example:
}
5.5.2.1. Syntax a) strong MOID NEST skip{5A } : skip{94f} token.
5.5.2.2. Semantics The yield of a skip is some {undefined} value equal in scope to the primal environ.
{The mode of the yield of a MOID-skip is 'MOID'. A void-skip
serves as a dummy statement and may be used, for example, after a label
which marks the end of a serial-clause.}
Next