Index of Semantic Rules¶
Typing of Static Constructs¶
Construct |
Judgement |
---|---|
Typing of Runtime Constructs¶
Construct |
Judgement |
---|---|
Constantness¶
Construct |
Judgement |
---|---|
Matching¶
Construct |
Judgement |
---|---|
Store Extension¶
Construct |
Judgement |
---|---|
Execution¶
Construct |
Judgement |
---|---|