---

kindcase(k;a.f[a];l,t.g[l; t]) ==
  if islocal(k) then f[act(k)] else g[lnk(k); tag(k)] fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  islocal: islocal(k),  actof: act(k),  lnk: lnk(k),  tagof: tag(k)
FDL editor aliases :  kindcase

---

kindcase(k;a.f[a];l,t.g[l;  t])  ==    if  islocal(k)  then  f[act(k)]  else  g[lnk(k);  tag(k)]  fi 


Date html generated: 2010_08_26-PM-11_33_25
Last ObjectModification: 2008_02_27-PM-09_23_30

Home Index