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