Nuprl Definition : ohc_v1_NewRounds
ohc_v1_NewRounds(Cmd) == 
n.ohc_v1_when_new_round(Cmd) n@Loc|Loc,ohc_v1_RoundInfo(Cmd), ohc_v1_NewRoundsState(Cmd) n|
Definitions occuring in Statement :
ohc_v1_NewRoundsState: ohc_v1_NewRoundsState(Cmd),
ohc_v1_when_new_round: ohc_v1_when_new_round(Cmd),
ohc_v1_RoundInfo: ohc_v1_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 :
ohc_v1_NewRounds
ohc\_v1\_NewRounds(Cmd) ==
\mlambda{}n.ohc\_v1\_when\_new\_round(Cmd) n@Loc|Loc,ohc\_v1\_RoundInfo(Cmd), ohc\_v1\_NewRoundsState(Cmd) n|
Date html generated:
2012_02_20-PM-05_25_10
Last ObjectModification:
2012_02_13-PM-12_57_54
Home
Index