8
RML datatypes, types, tuples
§datatype declaration
§  datatype Exp = INT of int
§                | NEG of Exp
§                | ADD of Exp*Exp
§type declaration (aliases)
§   type Constant = int
§   type Identifier = string
§tuples declaration
§   type Point = int * int
§   type Bag = string * int * Exp
§