Nuprl Definition : ohc_v1_Quorum2State
ohc_v1_Quorum2State(Cmd) == 
ni.Memory-class(ohc_v1_add_to_quorum() ni;ohc_v1_init() <[], []>;ohc_v1_vote'base(Cmd))
Definitions occuring in Statement :
ohc_v1_add_to_quorum: ohc_v1_add_to_quorum(),
ohc_v1_init: ohc_v1_init(),
ohc_v1_vote'base: ohc_v1_vote'base(Cmd),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
pair: <a, b>,
nil: []
FDL editor aliases :
ohc_v1_Quorum2State
ohc_v1_Quorum2State
ohc\_v1\_Quorum2State(Cmd) ==
\mlambda{}ni.Memory-class(ohc\_v1\_add\_to\_quorum() ni;ohc\_v1\_init() <[], []>ohc\_v1\_vote'base(Cmd))
Date html generated:
2012_02_20-PM-05_22_47
Last ObjectModification:
2012_02_13-PM-12_56_18
Home
Index