---

pack-cdv-args(n;m;L) ==
  if (m = 0) then list-to-cdv(L)
  if (n = 0) then cdvdelay(list-to-cdv(L);)
  else cdvpair(list-to-cdv(firstn(n;L));cdvdelay(list-to-cdv(nth_tl(n;L));))
  fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  natural_number: $n,  cdvpair: cdvpair(fst;snd),  firstn: firstn(n;as),  cdvdelay: cdvdelay(X;dummy),  list-to-cdv: list-to-cdv(L),  nth_tl: nth_tl(n;as),  it:
FDL editor aliases :  pack-cdv-args

---

pack-cdv-args(n;m;L)  ==
    if  (m  =\msubz{}  0)  then  list-to-cdv(L)
    if  (n  =\msubz{}  0)  then  cdvdelay(list-to-cdv(L);\mcdot{})
    else  cdvpair(list-to-cdv(firstn(n;L));cdvdelay(list-to-cdv(nth\_tl(n;L));\mcdot{}))
    fi 


Date html generated: 2010_08_27-PM-08_16_43
Last ObjectModification: 2010_06_22-PM-03_50_30

Home Index