| Class | Description |
|---|---|
| AbstractTypeJudgement | |
| ConditionalJudgement |
A conditional judgement is used to express two expressions having types in a causal relationship, e.g.
|
| ParameterTypeJudgement | |
| TypeConformJudgement | |
| TypeJudgement |
States a selected expression has a preselected type; multiple type judgements form a conjunction.
|
| XbaseExpressionTypeJudgement |