Nuprl Definition : rsc5_add_to

Nuprl Definition : rsc5_add_to_quorum

rsc5_add_to_quorum(Cmd;cmdeq) ==

ni,vt,state.if rsc5_newvote(Cmd) ni vt state then rsc5_addvote(Cmd;cmdeq) vt state else state fi

Definitions occuring in Statement : rsc5_addvote: rsc5_addvote(Cmd;cmdeq), rsc5_newvote: rsc5_newvote(Cmd), ifthenelse: if b then t else f fi , apply: f a, lambda:

x.A[x]
FDL editor aliases : rsc5_add_to_quorum

rsc5\_add\_to\_quorum(Cmd;cmdeq) == \mlambda{}ni,vt,state.if rsc5\_newvote(Cmd) ni vt state then rsc5\_addvote(Cmd;cmdeq) vt state else state fi Date html generated: 2012_02_20-PM-05_05_44 Last ObjectModification: 2012_02_02-PM-02_18_10 Home Index