Nuprl Definition : nysiad_OnReceiptMsg-program

nysiad_OnReceiptMsg-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;...;mf) ==
eclass0-program(nysiad_on_receipt_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;...;mf);
nysiad_inputmsg'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf))

Definitions occuring in Statement : nysiad_on_receipt_msg: nysiad_on_receipt_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;tooarcasthdr;mf), nysiad_inputmsg'base-program: nysiad_inputmsg'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf), eclass0-program: eclass0-program(f;pr)
FDL editor aliases : nysiad_OnReceiptMsg-program

Latex:
nysiad\_OnReceiptMsg-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;...;mf) == eclass0-program(nysiad\_on\_receipt\_msg(add2baghdr;addwaitinghdr;...;...;...;readyhdr;...;...;mf); nysiad\_inputmsg'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf)) Date html generated: 2015_07_23-PM-03_48_02 Last ObjectModification: 2014_08_06-PM-03_36_14 Home Index