Nuprl Definition : nysiad_OnReceiptMsg
nysiad_OnReceiptMsg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;tooarcasthdr;mf) ==
(nysiad_on_receipt_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;...;mf) o ...)
Definitions occuring in Statement :
nysiad_on_receipt_msg: nysiad_on_receipt_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;tooarcasthdr;mf),
nysiad_inputmsg'base: nysiad_inputmsg'base(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
eclass0: (f o X)
FDL editor aliases :
nysiad_OnReceiptMsg
Latex:
nysiad\_OnReceiptMsg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;...;mf) ==
(nysiad\_on\_receipt\_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;...;mf) o ...)
Date html generated:
2015_07_23-PM-03_47_53
Last ObjectModification:
2014_08_06-PM-03_36_02
Home
Index