Nuprl Definition : RSC_ReplicaState

RSC_ReplicaState(Cmd) ==
  Accum-class(v,state.
               if RSC_new_proposal() v state then RSC_onnewpropose() v state else state fi ;RSC_init() 
                                                                                            <0, []>;RSC_Proposal(Cmd))


Definitions occuring in Statement :  RSC_new_proposal: RSC_new_proposal(),  RSC_Proposal: RSC_Proposal(Cmd),  RSC_onnewpropose: RSC_onnewpropose(),  RSC_init: RSC_init(),  Accum-class: Accum-class(f;init;X),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  pair: <a, b>,  nil: [],  natural_number: $n
FDL editor aliases :  RSC_ReplicaState
RSC\_ReplicaState(Cmd)  ==
    Accum-class(\mlambda{}v,state.
                              if  RSC\_new\_proposal()  v  state
                              then  RSC\_onnewpropose()  v  state
                              else  state
                              fi  ;RSC\_init()  ɘ,  []>RSC\_Proposal(Cmd))


Date html generated: 2012_02_20-PM-04_01_34
Last ObjectModification: 2012_02_02-PM-01_59_22

Home Index