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