---

rec-comb-prc(B;n;Xprs;init;F;strictness) ==
  TERMOF{rec-comb-locally-programmable1:o, 1:l, 1:l} B n Xprs init F strictness

---

Definitions occuring in Statement :  apply: f a
FDL editor aliases :  rec-comb-prc

---

rec-comb-prc(B;n;Xprs;init;F;strictness)  ==
    TERMOF\{rec-comb-locally-programmable1:o,  1:l,  1:l\}  B  n  Xprs  init  F  strictness


Date html generated: 2011_08_16-PM-06_34_56
Last ObjectModification: 2011_08_13-PM-10_01_14

Home Index