Nuprl Definition : State-comb-prc
State-comb-prc(B;init;f;Xpr) == TERMOF{State-comb-locally-programmable:o, 1:l, 1:l} B init f Xpr
Definitions occuring in Statement :
apply: f a
FDL editor aliases :
State-comb-prc
State-comb-prc(B;init;f;Xpr) == TERMOF\{State-comb-locally-programmable:o, 1:l, 1:l\} B init f Xpr
Date html generated:
2012_02_20-PM-03_07_00
Last ObjectModification:
2012_02_08-PM-12_23_02
Home
Index