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