Nuprl Definition : ohc_v2_add_to_quorum
ohc_v2_add_to_quorum() == 
ni,vt,state.if ohc_v2_newvote() ni vt state then ohc_v2_addvote() vt state else state fi
Definitions occuring in Statement :
ohc_v2_addvote: ohc_v2_addvote(),
ohc_v2_newvote: ohc_v2_newvote(),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
ohc_v2_add_to_quorum
ohc\_v2\_add\_to\_quorum() ==
\mlambda{}ni,vt,state.if ohc\_v2\_newvote() ni vt state then ohc\_v2\_addvote() vt state else state fi
Date html generated:
2012_02_20-PM-05_33_05
Last ObjectModification:
2012_02_17-PM-10_21_36
Home
Index