Nuprl Definition : rsc4_Quorum

rsc4_Quorum(Cmd;cmdeq;coeff;flrs) ==
  ni.rsc4_when_quorum(Cmd;cmdeq;coeff;flrs) ni@Loc|Loc,rsc4_vote'base(Cmd), rsc4_QuorumState(Cmd) ni|


Definitions occuring in Statement :  rsc4_QuorumState: rsc4_QuorumState(Cmd),  rsc4_when_quorum: rsc4_when_quorum(Cmd;cmdeq;coeff;flrs),  rsc4_vote'base: rsc4_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 :  rsc4_Quorum
rsc4\_Quorum(Cmd;cmdeq;coeff;flrs)  ==
    \mlambda{}ni.rsc4\_when\_quorum(Cmd;cmdeq;coeff;flrs)  ni@Loc|Loc,rsc4\_vote'base(Cmd),  rsc4\_QuorumState(Cmd) 
                                                                                                                                                          ni|


Date html generated: 2012_02_20-PM-04_47_58
Last ObjectModification: 2012_02_02-PM-02_08_32

Home Index