RightComb(A) ==
SimpleComb1(T.T 
r (Top + A);T.A;bs.bag-mapfilter(
x.outr(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,
outr: outr(x),
isl: isl(x),
bnot: b,
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),
outr: outr(x),
lambda: x.A[x],
bnot: b,
isl: isl(x)
FDL editor aliases :
RightComb
RightComb(A) == SimpleComb1(T.T \msubseteq{}r (Top + A);T.A;bs.bag-mapfilter(\mlambda{}x.outr(x);\mlambda{}x.(\mneg{}\msubb{}isl(x));bs))
Date html generated:
2011_08_17-PM-06_28_28
Last ObjectModification:
2011_01_22-PM-08_26_01
Home
Index