Nuprl Definition : OARcast

Nuprl Definition : OARcast_Sender-program

OARcast_Sender-program(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf) ==
  eclass1-program(OARcast_on_oarcast_output(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf);
                  OARcast_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf))
  o OARcast_SenderState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)

Definitions occuring in Statement : OARcast_SenderState-program: OARcast_SenderState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), OARcast_on_oarcast_output: OARcast_on_oarcast_output(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf), OARcast_oarcast'base-program: OARcast_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), eclass2-program: Xpr o Ypr, eclass1-program: eclass1-program(f;pr)
FDL editor aliases : OARcast_Sender-program

Latex:
OARcast\_Sender-program(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf) == eclass1-program(OARcast\_on\_oarcast\_output(M;deliverhdr;oarcasthdr;orderedhdr;orderers;...;mf); OARcast\_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)) o OARcast\_SenderState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) Date html generated: 2015_07_23-PM-00_30_56 Last ObjectModification: 2014_08_20-PM-00_02_50 Home Index