Nuprl Definition : tagged-messages

tagged-messages(l;s;v;L) ==  map(λx.<l, x>;tagged-list-messages(s;v;L))



Definitions occuring in Statement :  tagged-list-messages: tagged-list-messages(s;v;L) map: map(f;as) lambda: λx.A[x] pair: <a, b>
FDL editor aliases :  tagged-messages
tagged-messages(l;s;v;L)  ==    map(\mlambda{}x.<l,  x>tagged-list-messages(s;v;L))



Date html generated: 2015_07_17-AM-09_12_43
Last ObjectModification: 2012_02_25-AM-10_53_11

Home Index