---

threshold_accum(test;
nxt;
step;
g) ==
  p,x.
   if test (fst(p)) x
   then <nxt <fst(p), x>, g <fst(p), x>>
   else <step (fst(p)) x, ff>
   fi 

---

Definitions :  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  pair: <a, b>,  apply: f a,  pi1: fst(t),  bfalse: ff
FDL editor aliases :  threshold_accum

---

threshold\_accum(test;
nxt;
step;
g)  ==
    \mlambda{}p,x.if  test  (fst(p))  x  then  <nxt  <fst(p),  x>,  g  <fst(p),  x>>  else  <step  (fst(p))  x,  ff>  fi 


Date html generated: 2010_08_27-AM-09_36_44
Last ObjectModification: 2009_12_16-AM-08_31_26

Home Index