Nuprl Definition : ohc_v2_Quorum2
ohc_v2_Quorum2(Cmd;cmdeq;flrs;learners;locs) ==
ni,cmd.
ohc_v2_when_quorum2(Cmd;cmdeq;flrs;learners;locs) ni cmd@Loc|Loc,ohc_v2_vote'base(Cmd), ohc_v2_Quorum2State(Cmd) ni|
Definitions occuring in Statement :
ohc_v2_Quorum2State: ohc_v2_Quorum2State(Cmd),
ohc_v2_when_quorum2: ohc_v2_when_quorum2(Cmd;cmdeq;flrs;learners;locs),
ohc_v2_vote'base: ohc_v2_vote'base(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_v2_Quorum2
ohc\_v2\_Quorum2(Cmd;cmdeq;flrs;learners;locs) ==
\mlambda{}ni,cmd.
ohc\_v2\_when\_quorum2(Cmd;cmdeq;flrs;learners;locs) ni cmd@Loc|Loc,ohc\_v2\_vote'base(Cmd),
ohc\_v2\_Quorum2State(Cmd) ni|
Date html generated:
2012_02_20-PM-05_47_29
Last ObjectModification:
2012_02_17-PM-10_22_46
Home
Index