Labels:black | darkness OCR: ::= signature uniti = sig uspec end named signature Th6pec signature (old syntax) ikspec ::= val vuldesc value specification type typdesc abstract type type typbind type abbreviation eqtype typdesc abstract equality type datatype datbind datatype datatype datbind withtype typbind datatype with typbind exception endesc exception local Ispec in uspec end local specifications empty "LApec (;) wopec sequential Ispec ::= open unitidi . .. unitidn open other units type typbind type abbreviation local Ispec in Ispec end local specifications empty Ispec (;) Ispec sequential
