Nuprl Definition : es-info
info(e) == es."info" e
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
FDL editor aliases :
es-info
es-info
info(e) == es."info" e
Date html generated:
2015_07_17-PM-00_00_44
Last ObjectModification:
2012_02_25-PM-01_07_37
Home
Index