inl(*) ; inr(*) fi ; body; cont(z,z))| No mentions to report in GenAutomata | |
| case_enum1_el2 | Def enum1_el2 = > body cont(x,z) == InjCase(if x=1 inl(*) ; inr(*) fi ; body; cont(z,z)) |
| Syntax: | enum1_el2 = > body cont | has structure: | case_enum1_el2(body; cont) |
About:
 |  |  |  |
 |  |  |
 |