Syntax mCRL2 used in GraPE

Preamble

This chapter of the help file shows you all information about the syntax used in a Preamble.

Parameter Declarations must be conform to: name : Type, separated wih ','.

Local Variable Declarations must be conform to: name : Type = dataexpression, separated wih ','.