body ; hd.tl cont(contvalue,contvalue)| No other cites to report in MarkB_generic | |
| case_nil | Def [] = > body cont(value,contvalue) == Case of value; nil body ; hd.tl cont(contvalue,contvalue) |
| Syntax: | [] = > body cont | has structure: | case_nil(body; cont) |
About:
 |  |  |