cont(contvalue,contvalue) ; hd.tl body(hd;tl)| No mentions to report in GenAutomata | |
| case_cons | Def x::y = > body(x;y) cont(value,contvalue) == Case of value; nil cont(contvalue,contvalue) ; hd.tl body(hd;tl) |
| Syntax: | x::y = > body(x;y) cont | has structure: | case_cons(x,y.body(x;y); cont) |
About:
 |  |  |