We begin our language environment by specifying the syntax of the Exp language with Metal. The Metal specification for the Exp language will be stored in the file:
contrib/Exp/syntax/Exp.metal
This directory has been specified by the Location property in the Exp.rdb file of the same directory.
For further information about Metal, please consult the Metal manual of the Mantle. The parsers manual of the Core describes parsers in more detail.