Nuprl Definition : rsc3_NewRounds
rsc3_NewRounds(Cmd) == 
n.rsc3_when_new_round(Cmd) n@Loc|Loc,rsc3_RoundInfo(Cmd), rsc3_NewRoundsState(Cmd) n|
Definitions occuring in Statement :
rsc3_NewRoundsState: rsc3_NewRoundsState(Cmd),
rsc3_when_new_round: rsc3_when_new_round(Cmd),
rsc3_RoundInfo: rsc3_RoundInfo(Cmd),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
rsc3_NewRounds
rsc3\_NewRounds(Cmd) ==
\mlambda{}n.rsc3\_when\_new\_round(Cmd) n@Loc|Loc,rsc3\_RoundInfo(Cmd), rsc3\_NewRoundsState(Cmd) n|
Date html generated:
2012_02_20-PM-04_13_18
Last ObjectModification:
2012_02_02-PM-02_03_58
Home
Index