locknd(i;k) == kindcase(k;a.<i, k>;l,tg.<destination(l), k>)
Definitions :
kindcase: kindcase(k;a.f[a];l,t.g[l; t]),
pair: <a, b>,
ldst: destination(l)
FDL editor aliases :
locknd
locknd(i;k) == kindcase(k;a.<i, k>l,tg.<destination(l), k>)
Date html generated:
2010_08_26-PM-11_42_26
Last ObjectModification:
2008_02_27-PM-09_35_09
Home
Index