outl-class(X) == 
b.bag-mapfilter(x.outl(x);x.isl(x);b) o X
Definitions occuring in Statement :
eclass-compose1: f o X,
outl: outl(x),
isl: isl(x),
lambda: x.A[x],
bag-mapfilter: bag-mapfilter(f;P;bs)
Definitions :
eclass-compose1: f o X,
bag-mapfilter: bag-mapfilter(f;P;bs),
outl: outl(x),
lambda: x.A[x],
isl: isl(x)
FDL editor aliases :
outl-class
outl-class(X) == \mlambda{}b.bag-mapfilter(\mlambda{}x.outl(x);\mlambda{}x.isl(x);b) o X
Date html generated:
2011_08_16-PM-04_20_55
Last ObjectModification:
2011_01_20-PM-01_09_09
Home
Index