Nuprl Definition : map-sig-isEmpty

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


Definitions occuring in Statement :  token: "$token"
FDL editor aliases :  map-sig-isEmpty
Latex:
map-sig-isEmpty(m)  ==    m."isEmpty"


Date html generated: 2016_05_17-PM-01_47_27
Last ObjectModification: 2014_07_30-AM-09_47_31

Theory : datatype-signatures


Home Index