Nuprl Definition : order-messages
order-messages(mcmp;locs;hdrs) == λb.bag-to-list(interface-cmp(mcmp;locs;hdrs);b)
Definitions occuring in Statement :
interface-cmp: interface-cmp(mcmp;locs;hdrs),
lambda: λx.A[x],
bag-to-list: bag-to-list(cmp;b)
FDL editor aliases :
order-messages
Latex:
order-messages(mcmp;locs;hdrs) == \mlambda{}b.bag-to-list(interface-cmp(mcmp;locs;hdrs);b)
Date html generated:
2015_07_22-PM-00_01_21
Last ObjectModification:
2014_07_16-PM-05_59_41
Home
Index