Nuprl Definition : lookup-list-map-remove

lookup-list-map-remove(deqKey;key;m) ==  remove-alist(deqKey;m;key)


Definitions occuring in Statement :  remove-alist: remove-alist(eq;L;x)
FDL editor aliases :  lookup-list-map-remove
Latex:
lookup-list-map-remove(deqKey;key;m)  ==    remove-alist(deqKey;m;key)


Date html generated: 2016_05_17-PM-01_51_31
Last ObjectModification: 2014_09_08-PM-06_20_00

Theory : datatype-signatures


Home Index