Nuprl Definition : OARcast_SenderStateFun

OARcast_SenderStateFun(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf;es;e) ==
  OARcast_SenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)(e)



Definitions occuring in Statement :  OARcast_SenderState: OARcast_SenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) classfun: X(e)
FDL editor aliases :  OARcast_SenderStateFun

Latex:
OARcast\_SenderStateFun(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf;es;e)  ==
    OARcast\_SenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)(e)



Date html generated: 2015_07_23-PM-00_30_30
Last ObjectModification: 2014_08_20-PM-00_02_06

Home Index