Nuprl Definition : nysiad_Out

nysiad_Out(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
  λloc,slf,z. let delay,dest,m = z in 
             {nysiad_add2bag'send(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf) 
              slf 
              <m, inl loc, dest>}


Definitions occuring in Statement :  nysiad_add2bag'send: nysiad_add2bag'send(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),  spreadn: spread3,  apply: f a,  lambda: λx.A[x],  pair: <a, b>,  inl: inl x,  single-bag: {x}
FDL editor aliases :  nysiad_Out
Latex:
nysiad\_Out(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf)  ==
    \mlambda{}loc,slf,z.  let  delay,dest,m  =  z  in 
                          \{nysiad\_add2bag'send(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf) 
                            slf 
                            <m,  inl  loc,  dest>\}


Date html generated: 2015_07_23-PM-03_47_02
Last ObjectModification: 2014_08_06-PM-03_34_47

Home Index