| Who Cites case lbl pair? | |
| case_lbl_pair | Def Case ptn_pr( < x, y > ) = > body(x;y) cont(x1,z) == InjCase(x1; _. cont(z,z); x2. InjCase(x2; _. cont(z,z); x2@0. InjCase(x2@0; _. cont(z,z); x2@1. x2@1/x3,x2@2. body(x3;x2@2)))) |
| Syntax: | Case ptn_pr( < x, y > ) = > body(x;y) cont | has structure: | case_lbl_pair(x,y.body(x;y); cont) |
About:
| | | |