LeftComb(A) ==
SimpleComb1(T.T 
r (A + Top);T.A;bs.bag-mapfilter(
x.outl(x);x.isl(x);bs))
Definitions occuring in Statement :
SimpleComb1: SimpleComb1(T1.P1[T1];T.F[T];a.H[a]),
subtype_rel: A r B,
outl: outl(x),
isl: isl(x),
top: Top,
lambda: x.A[x],
union: left + right,
bag-mapfilter: bag-mapfilter(f;P;bs)
Definitions :
SimpleComb1: SimpleComb1(T1.P1[T1];T.F[T];a.H[a]),
subtype_rel: A r B,
union: left + right,
top: Top,
bag-mapfilter: bag-mapfilter(f;P;bs),
outl: outl(x),
lambda: x.A[x],
isl: isl(x)
FDL editor aliases :
LeftComb
LeftComb(A) == SimpleComb1(T.T \msubseteq{}r (A + Top);T.A;bs.bag-mapfilter(\mlambda{}x.outl(x);\mlambda{}x.isl(x);bs))
Date html generated:
2011_08_17-PM-06_28_04
Last ObjectModification:
2011_01_22-PM-08_21_11
Home
Index