Nuprl Definition : rsc3_QuorumState
rsc3_QuorumState(Cmd) == 
ni.Memory-class(rsc3_add_to_quorum(Cmd) ni;rsc3_init() <[], []>;rsc3_vote'base(Cmd))
Definitions occuring in Statement :
rsc3_add_to_quorum: rsc3_add_to_quorum(Cmd),
rsc3_init: rsc3_init(),
rsc3_vote'base: rsc3_vote'base(Cmd),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
pair: <a, b>,
nil: []
FDL editor aliases :
rsc3_QuorumState
rsc3\_QuorumState(Cmd) ==
\mlambda{}ni.Memory-class(rsc3\_add\_to\_quorum(Cmd) ni;rsc3\_init() <[], []>rsc3\_vote'base(Cmd))
Date html generated:
2012_02_20-PM-04_12_13
Last ObjectModification:
2012_02_02-PM-02_03_31
Home
Index