home *** CD-ROM | disk | FTP | other *** search

---

/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ML / MOSMLREF / img19.gif

< prev

next >

Graphics Interchange Format  |  1997-07-31  |  11KB  |  704x526  |  1-bit (2 colors)

Labels: black | darkness
OCR: dec val tyverneq valbind value declaration fun tyvarseg falbind function declaration type typbind datatype datbind ( withtype typbind > type declaration datatype declaration abstype datbind ( withtype typbind ) abstype declaration with dec end exception exbind exception declaration local dec1 in dec2 end local declaration open unitid1 . .. unitid, open declaration, n ≥ 1 dec1 (;) decz empty declaration sequential declaration infix (d) id1 .. . idn infix (left) directive, n ≥ 1 infixr (d) id1 ... idn infix (right) directive, n ≥ 1 nonfix id1 . . . ian nonfix directive, n ≥ 1 valbind pet = emp ( and valbind ) value binding rec velbind recursive binding fualbind ::= op) var atpat11 ... atpati, (:ty) = emp1 m, n≥ 1 - op) var atpat21 ... atpat2, (:ty) = emp2 I { op) vor stpetml ... stuetmn (:ty) = empm ( and foolbind ) typbind ::= tyverseq tycon = ty ( and typbind ) datbind ::= tyvarseq tycon = conbind ( and datbind ) conbind ::= ( op) con (of ty) { | combind ) erbind ::= (op) emcon (of ty) ( and erbind ) { op) ercon = { op) longercon { and erbind )

---