---

dt(l;da) ==
  compose-fpf(k.if isrcv(k)
                 then if lnk(k) = l then inl tag(k)  else inr   fi 
                 else inr  
                 fi ;tg.rcv(l,tg);da)

---

Definitions :  compose-fpf: compose-fpf(a;b;f),  isrcv: isrcv(k),  ifthenelse: if b then t else f fi ,  eq_lnk: a = b,  lnk: lnk(k),  inl: inl x ,  tagof: tag(k),  inr: inr x ,  it: ,  lambda: x.A[x],  rcv: rcv(l,tg)
FDL editor aliases :  es-dt

---

dt(l;da)  ==
    compose-fpf(...;\mlambda{}tg.rcv(l,tg);da)


Date html generated: 2010_08_27-AM-12_03_22
Last ObjectModification: 2008_02_27-PM-09_49_16

Home Index