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