| No other cites to report in MarkB_generic | |
| case_union1_term3 | Def union1_term3(x) = > body(x) cont(x1,z) == InjCase(x1; _. cont(z,z); x2. InjCase(x2; _. cont(z,z); x2@0. body(x2@0))) |
| Syntax: | union1_term3(x) = > body(x) cont | has structure: | case_union1_term3(x.body(x); cont) |
About:
| | |