Nuprl Definition : map-sig-eqKey
map-sig-eqKey(m) ==  m."eqKey"
Definitions occuring in Statement : 
token: "$token"
FDL editor aliases : 
map-sig-eqKey
Latex:
map-sig-eqKey(m)  ==    m."eqKey"
Date html generated:
2016_05_17-PM-01_46_51
Last ObjectModification:
2014_07_30-AM-09_38_16
Theory : datatype-signatures
Home
Index