Labels:black | darkness OCR: signature unitid = sig aspec end named signature 16pec signature (old syntax) ispec val voldesc value specification type typdesc abstract type type typbind type abbreviation eqtype typdesc abstract equality type datatype datdesc datatype datatype datdesc withtype typbind datatype with typbind exception erdesc local lapec in uspec end exception local specifications empty sequential løpec open unitidi .. . unitidn open other units type typbind local lapec in lapec end type abbreviation local specifications lapec (;) lapec empty sequential valdesc vor : ty ( and valdesc ) value description typdesc ::= tyvarseq tycon ( and typdesc ) type constructor description datdesc ::= tyvarseq tycon = condesc ( and datdesc ) datatype description condesc ::= con (of ty) { | condesc ) constructor description eralesc ::= ercon (of ty) ( and erdesc ) exception constructor description