Nuprl Definition : nysiad_QueueStateFun
nysiad_QueueStateFun(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;x;es;e) ==
nysiad_QueueState(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) x(e)
Definitions occuring in Statement :
nysiad_QueueState: nysiad_QueueState(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
classfun: X(e),
apply: f a
FDL editor aliases :
nysiad_QueueStateFun
Latex:
nysiad\_QueueStateFun(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...;mf;x;es;e) ==
nysiad\_QueueState(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf)
x(e)
Date html generated:
2015_07_23-PM-03_45_40
Last ObjectModification:
2014_08_06-PM-03_32_52
Home
Index