Nuprl Definition : es-rank
es-rank(es;e) == es."rank" e
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
FDL editor aliases :
es-rank
es-rank
es-rank(es;e) == es."rank" e
Date html generated:
2015_07_17-AM-08_34_20
Last ObjectModification:
2014_02_20-PM-10_12_55
Home
Index