Definitions MarkB generic Sections NuprlLIB Doc

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

Definitions MarkB generic Sections NuprlLIB Doc