UndefinedType should leave the logical variable unassigned. Type is an abstract superconcept, so reaching it means there should have an override for lift macro. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
UndefinedType should leave the logical variable unassigned. Type is an abstract superconcept, so reaching it means there should have an override for lift macro. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||