kind-rename(ra;rt;k) == kindcase(k;a.locl(ra a);l,tg.rcv(l,rt tg))
Definitions :
kindcase: kindcase(k;a.f[a];l,t.g[l; t]),
locl: locl(a),
rcv: rcv(l,tg),
apply: f a
FDL editor aliases :
kind-rename
kind-rename(ra;rt;k) == kindcase(k;a.locl(ra a);l,tg.rcv(l,rt tg))
Date html generated:
2010_08_26-PM-11_33_36
Last ObjectModification:
2008_02_27-PM-09_23_39
Home
Index