Nuprl Definition : ohc_v2_Quorum2State
ohc_v2_Quorum2State(Cmd) == 
ni.State-comb(ohc_v2_init() <[], []>;ohc_v2_add_to_quorum() ni;ohc_v2_vote'base(Cmd))
Definitions occuring in Statement :
ohc_v2_add_to_quorum: ohc_v2_add_to_quorum(),
ohc_v2_init: ohc_v2_init(),
ohc_v2_vote'base: ohc_v2_vote'base(Cmd),
State-comb: State-comb(init;f;X),
apply: f a,
lambda: x.A[x],
pair: <a, b>,
nil: []
FDL editor aliases :
ohc_v2_Quorum2State
ohc\_v2\_Quorum2State(Cmd) ==
\mlambda{}ni.State-comb(ohc\_v2\_init() <[], []>ohc\_v2\_add\_to\_quorum() ni;ohc\_v2\_vote'base(Cmd))
Date html generated:
2012_02_20-PM-05_47_14
Last ObjectModification:
2012_02_17-PM-10_22_34
Home
Index