Nuprl Definition : lookup-list-map-isEmpty
lookup-list-map-isEmpty(m) == null(m)
Definitions occuring in Statement :
null: null(as)
FDL editor aliases :
lookup-list-map-isEmpty
lookup-list-map-isEmpty(m) == null(m)
Date html generated:
2015_07_17-AM-08_23_55
Last ObjectModification:
2014_09_08-PM-03_03_49
Home
Index