Nuprl Definition : ohc_v2_when

Nuprl Definition : ohc_v2_when_quorum1

ohc_v2_when_quorum1(Cmd;cmdeq;flrs) ==

ni,loc,vt,state.if ohc_v2_newvote() ni vt state then ohc_v2_roundout1(Cmd;cmdeq;flrs) loc vt state else {} fi

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

x.A[x], empty-bag: {}
FDL editor aliases : ohc_v2_when_quorum1

ohc\_v2\_when\_quorum1(Cmd;cmdeq;flrs) == \mlambda{}ni,loc,vt,state. if ohc\_v2\_newvote() ni vt state then ohc\_v2\_roundout1(Cmd;cmdeq;flrs) loc vt state else \{\} fi Date html generated: 2012_02_20-PM-05_33_26 Last ObjectModification: 2012_02_17-PM-10_21_50 Home Index