Nuprl Definition : ohc_v1_add_to_quorum
ohc_v1_add_to_quorum() == 
ni,vt,state.if ohc_v1_newvote() ni vt state then ohc_v1_addvote() vt state else state fi
Definitions occuring in Statement :
ohc_v1_addvote: ohc_v1_addvote(),
ohc_v1_newvote: ohc_v1_newvote(),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
ohc_v1_add_to_quorum
ohc_v1_add_to_quorum
ohc\_v1\_add\_to\_quorum() ==
\mlambda{}ni,vt,state.if ohc\_v1\_newvote() ni vt state then ohc\_v1\_addvote() vt state else state fi
Date html generated:
2012_02_20-PM-05_21_16
Last ObjectModification:
2012_02_13-PM-12_55_20
Home
Index