Nuprl Definition : OARcast_on_order_update

OARcast_on_order_update(M) ==
  λslf,z,state. let sndr,z = z in let n,msg = z in if sndr ∈b state) then state else [sndr / state] fi 


Definitions occuring in Statement :  id-deq: IdDeq,  deq-member: x ∈b L),  cons: [a / b],  ifthenelse: if b then t else f fi ,  lambda: λx.A[x],  spread: spread def
FDL editor aliases :  OARcast_on_order_update
Latex:
OARcast\_on\_order\_update(M)  ==
    \mlambda{}slf,z,state.  let  sndr,z  =  z 
                                in  let  n,msg  =  z 
                                      in  if  sndr  \mmember{}\msubb{}  state)  then  state  else  [sndr  /  state]  fi 


Date html generated: 2015_07_23-PM-00_31_55
Last ObjectModification: 2014_08_20-PM-00_04_29

Home Index