Nuprl Definition : rsc3_NewRoundsState
rsc3_NewRoundsState(Cmd) == 
n.Memory-class(rsc3_update_round(Cmd) n;rsc3_init() 0;rsc3_RoundInfo(Cmd))
Definitions occuring in Statement :
rsc3_update_round: rsc3_update_round(Cmd),
rsc3_RoundInfo: rsc3_RoundInfo(Cmd),
rsc3_init: rsc3_init(),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
natural_number: $n
FDL editor aliases :
rsc3_NewRoundsState
rsc3\_NewRoundsState(Cmd) ==
\mlambda{}n.Memory-class(rsc3\_update\_round(Cmd) n;rsc3\_init() 0;rsc3\_RoundInfo(Cmd))
Date html generated:
2012_02_20-PM-04_13_09
Last ObjectModification:
2012_02_02-PM-02_03_54
Home
Index