Synopsis Part of the synopsis that describes any types or typing rules introduced by this concept.
Syntax Types: MarkedText
Description The Types section describes any types that are involved in the concept that is described. The description can be just text, but in many cases a table is useful to describe types.
Examples Here is a type description of an if-then-else statement:


| $Exp$ | $Statement_1$ | $Statement_2$ | if ( $Exp$ ) $Statement_1$ else $Statement_2$; |


| bool | $T_1$ | $T_2$ | lub($T_1$, $T_2$) |

The result will be displayed as:


Exp Statement1 Statement2 if ( Exp ) Statement1 else Statement2;
bool T1 T2 lub(T1, T2)
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit