Nuprl Definition : ohc_v1_Quorum1State
ohc_v1_Quorum1State(Cmd) ==
ni.Memory-class(ohc_v1_add_to_quorum() ni;ohc_v1_init() <[], []>;ohc_v1_proposal'base(Cmd))
Definitions occuring in Statement :
ohc_v1_add_to_quorum: ohc_v1_add_to_quorum(),
ohc_v1_init: ohc_v1_init(),
ohc_v1_proposal'base: ohc_v1_proposal'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_Quorum1State
ohc_v1_Quorum1State
ohc\_v1\_Quorum1State(Cmd) ==
\mlambda{}ni.Memory-class(ohc\_v1\_add\_to\_quorum() ni;ohc\_v1\_init() <[], []>ohc\_v1\_proposal'base(Cmd))
Date html generated:
2012_02_20-PM-05_21_44
Last ObjectModification:
2012_02_13-PM-12_55_39
Home
Index