Nuprl Definition : rsc4_add_to

Nuprl Definition : rsc4_add_to_quorum

rsc4_add_to_quorum(Cmd) ==

ni,vt,state.if rsc4_newvote(Cmd) ni vt state then rsc4_addvote(Cmd) vt state else state fi

Definitions occuring in Statement : rsc4_addvote: rsc4_addvote(Cmd), rsc4_newvote: rsc4_newvote(Cmd), ifthenelse: if b then t else f fi , apply: f a, lambda:

x.A[x]
FDL editor aliases : rsc4_add_to_quorum

rsc4\_add\_to\_quorum(Cmd) == \mlambda{}ni,vt,state.if rsc4\_newvote(Cmd) ni vt state then rsc4\_addvote(Cmd) vt state else state fi Date html generated: 2012_02_20-PM-04_47_33 Last ObjectModification: 2012_02_02-PM-02_08_19 Home Index