es-interface-vals(es; X; L) == map(
e.X(e);L)
Definitions :
map: map(f;as),
lambda: x.A[x],
eclass-val: X(e)
es-interface-vals(es; X; L) == map(\mlambda{}e.X(e);L)
Date html generated:
2010_08_27-PM-02_06_35
Last ObjectModification:
2010_01_28-PM-01_07_50
Home
Index