Nuprl Definition : rsc3_add_to

Nuprl Definition : rsc3_add_to_quorum

rsc3_add_to_quorum(Cmd) ==

ni,vt,state.if rsc3_newvote(Cmd) ni vt state then rsc3_addvote(Cmd) vt state else state fi

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

x.A[x]
FDL editor aliases : rsc3_add_to_quorum

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