right(X) == 
b.if (bag-size(b) =
1) then snd(bag-separate(b)) else {} fi o X
Definitions occuring in Statement :
eclass-compose1: f o X,
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
pi2: snd(t),
lambda: x.A[x],
natural_number: $n,
bag-separate: bag-separate(bs),
bag-size: bag-size(bs),
empty-bag: {}
Definitions :
eclass-compose1: f o X,
lambda: x.A[x],
ifthenelse: if b then t else f fi ,
eq_int: (i = j),
bag-size: bag-size(bs),
natural_number: $n,
pi2: snd(t),
bag-separate: bag-separate(bs),
empty-bag: {}
FDL editor aliases :
es-interface-right
right(X) == \mlambda{}b.if (bag-size(b) =\msubz{} 1) then snd(bag-separate(b)) else \{\} fi o X
Date html generated:
2011_08_16-AM-11_40_45
Last ObjectModification:
2011_01_14-PM-10_12_06
Home
Index