Cast expression must check the type of the argument expression and ensure comparabitiy of types. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Cast expression must check the type of the argument expression and ensure comparabitiy of types. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||