ci1 | ci2 ==
let dd1,A,f = ci1 in
let dd2,B,g = ci2 in
mk_ci(es-decl-set-join(dd1;dd2);(A 
? B);
x.oob-apply(x.if deq-member(IdDeq;es-info-loc(x);|dd1|)
es-info-kind(x) 
dom(da(dd1;es-info-loc(x)))
then f x
else inr 
fi ;x.if deq-member(IdDeq;es-info-loc(x);|dd2|)
es-info-kind(x) dom(da(dd2;...))
then g x
else inr
fi ;x))
Definitions :
spreadn: spread3,
mk_ci: mk_ci(dd;T;f),
es-decl-set-join: es-decl-set-join(dd1;dd2),
one_or_both: (A ? B),
oob-apply: oob-apply(X;Y;e),
lambda: x.A[x],
ifthenelse: if b then t else f fi ,
band: p q,
deq-member: deq-member(eq;x;L),
id-deq: IdDeq,
es-decl-set-domain: |dd|,
fpf-dom: x dom(f),
Kind-deq: KindDeq,
es-info-kind: es-info-kind(x),
es-decl-set-da: da(dd;i),
es-info-loc: es-info-loc(x),
apply: f a,
inr: inr x ,
it:
FDL editor aliases :
ci-or
ci1 | ci2 ==
let dd1,A,f = ci1 in
let dd2,B,g = ci2 in
mk\_ci(es-decl-set-join(dd1;dd2);(A \mtimes{}? B);
\mlambda{}x.oob-apply(\mlambda{}x.if deq-member(IdDeq;es-info-loc(x);|dd1|)
\mwedge{}\msubb{} es-info-kind(x) \mmember{} dom(da(dd1;es-info-loc(x)))
then f x
else inr \mcdot{}
fi ;\mlambda{}x.if deq-member(IdDeq;es-info-loc(x);|dd2|)
\mwedge{}\msubb{} es-info-kind(x) \mmember{} dom(da(dd2;es-info-loc(x)))
then g x
else inr \mcdot{}
fi ;x))
Date html generated:
2010_08_27-AM-09_36_11
Last ObjectModification:
2009_12_16-AM-01_42_36
Home
Index