Nuprl Definition : es-locless
es-locless(es;e1;e2) == e1 es."locless" e2
Definitions occuring in Statement :
infix_ap: x f y
,
token: "$token"
,
record-select: r.x
FDL editor aliases :
es-locless
es-locless(es;e1;e2) == e1 es."locless" e2
Date html generated:
2015_07_17-AM-08_34_11
Last ObjectModification:
2013_03_22-PM-09_41_14
Home
Index