inl(*) ; inr(*) fi ; body; cont(z,z))| No other cites to report in MarkB_generic | |
| case_enum1_el3 | Def enum1_el3 = > body cont(x,z) == InjCase(if x=2 inl(*) ; inr(*) fi ; body; cont(z,z)) |
| Syntax: | enum1_el3 = > body cont | has structure: | case_enum1_el3(body; cont) |
About:
 |  |  |  |
 |  |  |
 |