Nuprl Definition : ohc_v1_Quorum1
ohc_v1_Quorum1(Cmd;cmdeq;flrs) ==
ni.ohc_v1_when_quorum1(Cmd;cmdeq;flrs) ni@Loc|Loc,ohc_v1_proposal'base(Cmd), ohc_v1_Quorum1State(Cmd) ni|
Definitions occuring in Statement :
ohc_v1_Quorum1State: ohc_v1_Quorum1State(Cmd),
ohc_v1_when_quorum1: ohc_v1_when_quorum1(Cmd;cmdeq;flrs),
ohc_v1_proposal'base: ohc_v1_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_v1_Quorum1
ohc_v1_Quorum1
ohc\_v1\_Quorum1(Cmd;cmdeq;flrs) ==
\mlambda{}ni.ohc\_v1\_when\_quorum1(Cmd;cmdeq;flrs) ni@Loc|Loc,ohc\_v1\_proposal'base(Cmd),
ohc\_v1\_Quorum1State(Cmd) ni|
Date html generated:
2012_02_20-PM-05_21_58
Last ObjectModification:
2012_02_13-PM-12_55_48
Home
Index