3.1. Closed clauses

{Closed-clauses are usually used to construct units from serial-clauses as, e.g.,

(REAL x; read(x); x) in (REAL x; read(x); x) + 3.14. }

3.1.1. Syntax

A) SOID :: SORT MOID.

B) PACK :: STYLE pack.

a) SOID NEST closed clause{22a ,5D,551a,A341h,A349a} : SOID NEST serial clause defining LAYER{32a } PACK. {LAYER :: new DECSETY LABSETY.} Example

a): BEGIN x := 1; y := 2 END

{The yield of a closed-clause is that of its constituent serial-clause, by way of pre-elaboration {2.1.4.1.c }.}

Next