body ; hd.tl cont(contvalue,contvalue)| No mentions to report in GenAutomata | |
| 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:
 |  |  |