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