Nuprl Definition : OARcast

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