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 |