es-interface-sublist(X;z) == filter(
e.e 
X;z)
Definitions :
filter: filter(P;l),
lambda: x.A[x],
in-eclass: e X
FDL editor aliases :
es-interface-sublist
es-interface-sublist(X;z) == filter(\mlambda{}e.e \mmember{}\msubb{} X;z)
Date html generated:
2010_08_27-PM-02_07_30
Last ObjectModification:
2010_01_25-PM-09_13_31
Home
Index