Nuprl Definition : nysiad_headers
nysiad_headers(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr) ==
[readyhdr; add2baghdr; addwaitinghdr; adeliverhdr; inputmsghdr; tooarcasthdr; kdeliverhdr]
Definitions occuring in Statement :
cons: [a / b],
nil: []
FDL editor aliases :
nysiad_headers
Latex:
nysiad\_headers(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...) ==
[readyhdr; add2baghdr; addwaitinghdr; adeliverhdr; inputmsghdr; tooarcasthdr; kdeliverhdr]
Date html generated:
2015_07_23-PM-00_38_01
Last ObjectModification:
2014_08_06-PM-03_22_47
Home
Index