Nuprl Definition : nysiad_on_ready
nysiad_on_ready(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
λloc,slf,d,z. let queue,waiting = z in if loc = d then <tl(queue), ff> else <queue, waiting> fi
Definitions occuring in Statement :
eq_id: a = b,
tl: tl(l),
ifthenelse: if b then t else f fi ,
bfalse: ff,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
nysiad_on_ready
Latex:
nysiad\_on\_ready(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf) ==
\mlambda{}loc,slf,d,z. let queue,waiting = z in if loc = d then <tl(queue), ff> else <queue, waiting> fi
Date html generated:
2015_07_23-PM-03_45_19
Last ObjectModification:
2014_08_06-PM-03_32_23
Home
Index