Nuprl Definition : ohc_v2_Quorum1
ohc_v2_Quorum1(Cmd;cmdeq;flrs) ==
ni.ohc_v2_when_quorum1(Cmd;cmdeq;flrs) ni@Loc|Loc,ohc_v2_proposal'base(Cmd), ohc_v2_Quorum1State(Cmd) ni|
Definitions occuring in Statement :
ohc_v2_Quorum1State: ohc_v2_Quorum1State(Cmd),
ohc_v2_when_quorum1: ohc_v2_when_quorum1(Cmd;cmdeq;flrs),
ohc_v2_proposal'base: ohc_v2_proposal'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_Quorum1
ohc\_v2\_Quorum1(Cmd;cmdeq;flrs) ==
\mlambda{}ni.ohc\_v2\_when\_quorum1(Cmd;cmdeq;flrs) ni@Loc|Loc,ohc\_v2\_proposal'base(Cmd),
ohc\_v2\_Quorum1State(Cmd) ni|
Date html generated:
2012_02_20-PM-05_46_28
Last ObjectModification:
2012_02_17-PM-10_22_07
Home
Index