---

run-command-node(r;t;n) ==  n < lg-size(snd(snd((r t))))

---

Definitions :  less_than: a < b,  lg-size: lg-size(g),  pi2: snd(t),  apply: f a
FDL editor aliases :  run-command-node

---

run-command-node(r;t;n)  ==    n  <  lg-size(snd(snd((r  t))))


Date html generated: 2010_08_27-PM-06_45_20
Last ObjectModification: 2010_05_30-PM-11_51_14

Home Index