Nuprl Definition : RSC_RoundInfo
RSC_RoundInfo(Cmd) == RSC_Retry(Cmd) || RSC_vote2retry()@|Loc, RSC_Vote(Cmd)|
Definitions occuring in Statement :
RSC_vote2retry: RSC_vote2retry(),
RSC_Retry: RSC_Retry(Cmd),
RSC_Vote: RSC_Vote(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y
FDL editor aliases :
RSC_RoundInfo
RSC\_RoundInfo(Cmd) == RSC\_Retry(Cmd) || RSC\_vote2retry()@|Loc, RSC\_Vote(Cmd)|
Date html generated:
2012_02_20-PM-03_59_09
Last ObjectModification:
2012_02_02-PM-01_58_27
Home
Index