ci-port(l;tg;T) ==
mk_ci(es-decl-set-single(destination(l);
;rcv(l,tg) : T);T;
x.let i,k,s,v = x
in if k = rcv(l,tg) then inl v else inr 
fi )
Definitions :
mk_ci: mk_ci(dd;T;f),
es-decl-set-single: es-decl-set-single(i;ds;da),
ldst: destination(l),
fpf-empty: ,
fpf-single: x : v,
lambda: x.A[x],
es-info-case: es-info-case,
ifthenelse: if b then t else f fi ,
eq_knd: a = b,
rcv: rcv(l,tg),
inl: inl x ,
inr: inr x ,
it:
FDL editor aliases :
ci-port
ci-port(l;tg;T) ==
mk\_ci(es-decl-set-single(destination(l);\motimes{};rcv(l,tg) : T);T;\mlambda{}x.let i,k,s,v = x
in if k = rcv(l,tg)
then inl v
else inr \mcdot{}
fi )
Date html generated:
2010_08_27-AM-09_36_09
Last ObjectModification:
2009_12_16-AM-01_42_28
Home
Index