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