No other cites to report in MarkB_generic | |
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: