Nuprl Definition : rsc3_Quorum

rsc3_Quorum(Cmd;cmdeq;coeff;flrs) ==
  ni.rsc3_when_quorum(Cmd;cmdeq;coeff;flrs) ni@Loc|Loc,rsc3_vote'base(Cmd), rsc3_QuorumState(Cmd) ni|


Definitions occuring in Statement :  rsc3_QuorumState: rsc3_QuorumState(Cmd),  rsc3_when_quorum: rsc3_when_quorum(Cmd;cmdeq;coeff;flrs),  rsc3_vote'base: rsc3_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 :  rsc3_Quorum
rsc3\_Quorum(Cmd;cmdeq;coeff;flrs)  ==
    \mlambda{}ni.rsc3\_when\_quorum(Cmd;cmdeq;coeff;flrs)  ni@Loc|Loc,rsc3\_vote'base(Cmd),  rsc3\_QuorumState(Cmd) 
                                                                                                                                                          ni|


Date html generated: 2012_02_20-PM-04_12_23
Last ObjectModification: 2012_02_02-PM-02_03_34

Home Index