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