Nuprl Definition : rsc3_ReplicaState
rsc3_ReplicaState(Cmd) == Memory-class(rsc3_update_replica(Cmd);rsc3_init() <0, []>;rsc3_Proposal(Cmd))
Definitions occuring in Statement :
rsc3_update_replica: rsc3_update_replica(Cmd),
rsc3_Proposal: rsc3_Proposal(Cmd),
rsc3_init: rsc3_init(),
Memory-class: Memory-class(f;init;X),
apply: f a,
pair: <a, b>,
nil: [],
natural_number: $n
FDL editor aliases :
rsc3_ReplicaState
rsc3\_ReplicaState(Cmd) ==
Memory-class(rsc3\_update\_replica(Cmd);rsc3\_init() ɘ, []>rsc3\_Proposal(Cmd))
Date html generated:
2012_02_20-PM-04_14_28
Last ObjectModification:
2012_02_02-PM-02_04_24
Home
Index