v
case else cont(x) fij == if i=j true ; false fi
i,j:
. (i=j) 
| Who Cites switch case? | |
| switch_case | Def Case v = > case cont(x) == if x=v case else cont(x) fi |
| eq_int | Def i=j == if i=j true ; false fi |
| Thm* i,j:. (i=j) |
| Syntax: | Case v = > case cont | has structure: | switch_case(v; case; cont) |
About:
 |  |  |  |  |
 |  |  |  |
 |