---

bind-comb-program(B;PX;PY) ==
  let T,locs,dfpX = PX in 
  <B
  , locs
  , i.dfpX i
       >>= a.let S,L,dfpY = PY a in 
              if deq-member(IdDeq;i;L) then dfpY i else null-df-program(B) fi >

---

Definitions occuring in Statement :  bind-df-program: bind-df-program,  null-df-program: null-df-program(B),  id-deq: IdDeq,  ifthenelse: if b then t else f fi ,  spreadn: spread3,  apply: f a,  lambda: x.A[x],  pair: <a, b>,  deq-member: deq-member(eq;x;L)
Definitions :  pair: <a, b>,  bind-df-program: bind-df-program,  lambda: x.A[x],  spreadn: spread3,  ifthenelse: if b then t else f fi ,  deq-member: deq-member(eq;x;L),  id-deq: IdDeq,  apply: f a,  null-df-program: null-df-program(B)
FDL editor aliases :  bind-comb-program

---

bind-comb-program(B;PX;PY)  ==
    let  T,locs,dfpX  =  PX  in 
    <B
    ,  locs
    ,  \mlambda{}i.dfpX  i
              >>=  \mlambda{}a.let  S,L,dfpY  =  PY  a  in 
                            if  deq-member(IdDeq;i;L)  then  dfpY  i  else  null-df-program(B)  fi  >


Date html generated: 2011_08_16-PM-06_31_28
Last ObjectModification: 2011_02_01-PM-12_22_27

Home Index