Nuprl Definition : rsc2_incround
rsc2_incround(Cmd) == 
z.let z,c = z in let n,i = z in round.i
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def
FDL editor aliases :
rsc2_incround
rsc2\_incround(Cmd) == \mlambda{}z.let z,c = z in let n,i = z in \mlambda{}round.i
Date html generated:
2012_02_20-PM-04_43_00
Last ObjectModification:
2012_02_02-PM-02_06_05
Home
Index