TaggedWithComb(A;B;test) ==
SimpleComb1(T.T 
r (A 
B);T.B;v.if (bag-size(v) =
1)
then let a,b = only(v)
in if test a then {b} else {} fi
else {}
fi )
Definitions occuring in Statement :
SimpleComb1: SimpleComb1(T1.P1[T1];T.F[T];a.H[a]),
subtype_rel: A r B,
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
apply: f a,
spread: spread def,
product: x:A B[x],
natural_number: $n,
bag-only: only(bs),
bag-size: bag-size(bs),
single-bag: {x},
empty-bag: {}
Definitions :
SimpleComb1: SimpleComb1(T1.P1[T1];T.F[T];a.H[a]),
subtype_rel: A r B,
product: x:A B[x],
eq_int: (i = j),
bag-size: bag-size(bs),
natural_number: $n,
spread: spread def,
bag-only: only(bs),
ifthenelse: if b then t else f fi ,
apply: f a,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
TaggedWithComb
TaggedWithComb(A;B;test) ==
SimpleComb1(T.T \msubseteq{}r (A \mtimes{} B);T.B;v.if (bag-size(v) =\msubz{} 1)
then let a,b = only(v)
in if test a then \{b\} else \{\} fi
else \{\}
fi )
Date html generated:
2011_08_17-PM-06_29_50
Last ObjectModification:
2011_01_22-PM-10_13_49
Home
Index