Nuprl Definition : rsc2_RoundInfo
rsc2_RoundInfo(Cmd) == rsc2_retry'base(Cmd) || rsc2_vote2retry(Cmd)@|Loc, rsc2_vote'base(Cmd)|
Definitions occuring in Statement :
rsc2_vote2retry: rsc2_vote2retry(Cmd),
rsc2_retry'base: rsc2_retry'base(Cmd),
rsc2_vote'base: rsc2_vote'base(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y
FDL editor aliases :
rsc2_RoundInfo
rsc2\_RoundInfo(Cmd) == rsc2\_retry'base(Cmd) || rsc2\_vote2retry(Cmd)@|Loc, rsc2\_vote'base(Cmd)|
Date html generated:
2012_02_20-PM-04_42_45
Last ObjectModification:
2012_02_02-PM-02_05_57
Home
Index