Nuprl Definition : rsc5_NewRoundsState
rsc5_NewRoundsState(Cmd) == 
n.Memory-class(rsc5_update_round(Cmd) n;rsc5_init() 0;rsc5_RoundInfo(Cmd))
Definitions occuring in Statement :
rsc5_update_round: rsc5_update_round(Cmd),
rsc5_RoundInfo: rsc5_RoundInfo(Cmd),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
natural_number: $n
FDL editor aliases :
rsc5_NewRoundsState
rsc5\_NewRoundsState(Cmd) ==
\mlambda{}n.Memory-class(rsc5\_update\_round(Cmd) n;rsc5\_init() 0;rsc5\_RoundInfo(Cmd))
Date html generated:
2012_02_20-PM-05_07_21
Last ObjectModification:
2012_02_02-PM-02_18_53
Home
Index