CS118 Programming Languages

Department of Computer Science

ML Grammar

Source http://www.csci.csusb.edu/dick/samples/ml.syntax.html

structure

ml-program
	( top-level-declaration ;)*
top-level-declaration
	expression
	object-declaration
	signature-declaration
	functor-declaration
object-declaration
	empty
	declaration
	(id (: signature)? = structure)and
	local object-declaration in object-declaration end
signature-declaration
	empty
	signature id = signature (and id = signature)*
	signature-declaration ;? signature-declaration