[CHANGED:]
CLOSED-UNIT-SPEC ::= closed UNIT-SPEC
A closed unit specification CLOSED-UNIT-SPEC is written:
closed USP
It determines the same type as USP determines in the empty local environment, thus ensuring the closedness of USP. []
