| exception → ReceivesAction → checked by the compiler | 0.25 | |
type
(aspect of
variable)
→
ReceivesAction
→
checked by the compiler
|
0.25 |