= The MiniMP Intermediate Representation =
== Processes ==
== Variables ==
 * BoundVariable
 * FormalVariable
 * LocalVariable
 * ProcessVariable
 * SharedVariable
== Types ==
 * ArrayType
 * FunctionType
 * PointerType
 * RecordType
== Expressions ==
 * PlusExpression
 * TimesExpression
 * DivideExpression
 * AddressOfExpression
 * LHSExpression
   * DereferenceExpression
   * RecordNavigationExpression
 * ExistsExpression
 * ForallExpression
 * IfThenElseExpression
 * LiteralExpression
 * NotEmptyExpression
 * NotFullExpression
 * QuantifierExpression
 * VariableExpression
== Statements ==
 * AllocateStatement
 * AssertionStatement
 * AssignmentStatement
 * AssumeStatement
 * DeallocateStatement
 * InvocationStatement
 * NoopStatement
 * ReceiveStatement
 * SendStatement
== Functions ==