es-rank(es;e) == (fst(es."wf")) e
Definitions :
apply: f a,
pi1: fst(t),
record-select: r.x,
token: "$token"
FDL editor aliases :
es-rank
es-rank(es;e) == (fst(es."wf")) e
Date html generated:
2010_08_27-AM-01_06_22
Last ObjectModification:
2010_03_09-AM-09_41_11
Home
Index