Nuprl Definition : ohc_v1_Quorum2
ohc_v1_Quorum2(Cmd;cmdeq;flrs;learners;locs) ==
ni,cmd.
ohc_v1_when_quorum2(Cmd;cmdeq;flrs;learners;locs) ni cmd@Loc|Loc,ohc_v1_vote'base(Cmd), ohc_v1_Quorum2State(Cmd) ni|
Definitions occuring in Statement :
ohc_v1_Quorum2State: ohc_v1_Quorum2State(Cmd),
ohc_v1_when_quorum2: ohc_v1_when_quorum2(Cmd;cmdeq;flrs;learners;locs),
ohc_v1_vote'base: ohc_v1_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_v1_Quorum2
ohc_v1_Quorum2
ohc\_v1\_Quorum2(Cmd;cmdeq;flrs;learners;locs) ==
\mlambda{}ni,cmd.
ohc\_v1\_when\_quorum2(Cmd;cmdeq;flrs;learners;locs) ni cmd@Loc|Loc,ohc\_v1\_vote'base(Cmd),
ohc\_v1\_Quorum2State(Cmd) ni|
Date html generated:
2012_02_20-PM-05_23_01
Last ObjectModification:
2012_02_13-PM-12_56_27
Home
Index