Nuprl Definition : map-sig-inDom

map-sig-inDom(m) ==  m."inDom"


Definitions occuring in Statement :  token: "$token",  record-select: r.x
FDL editor aliases :  map-sig-inDom
map-sig-inDom(m)  ==    m."inDom"


Date html generated: 2015_07_17-AM-08_22_12
Last ObjectModification: 2014_07_30-AM-09_43_30

Home Index