Nuprl Definition : Accum-class-prc
Accum-class-prc(B;f;init;X) == TERMOF{Accum-class-locally-programmable:o, 1:l, 1:l} B f init X
Definitions occuring in Statement :
apply: f a
FDL editor aliases :
Accum-class-prc
Accum-class-prc(B;f;init;X) == TERMOF\{Accum-class-locally-programmable:o, 1:l, 1:l\} B f init X
Date html generated:
2012_01_23-PM-01_05_38
Last ObjectModification:
2011_11_02-AM-11_04_20
Home
Index