Nuprl Definition : set-sig-isEmpty
set-sig-isEmpty(s) == s."isEmpty"
Definitions occuring in Statement :
token: "$token",
record-select: r.x
FDL editor aliases :
set-sig-isEmpty
set-sig-isEmpty(s) == s."isEmpty"
Date html generated:
2015_07_17-AM-08_21_10
Last ObjectModification:
2013_04_23-PM-01_50_55
Home
Index