---

prefix-replace(t;x;pre) ==
  G(pre) where   
  G(d<v>) = let d' = if name_eq(d;x) then t else d fi  in
             let v' = if name_eq(v;x) then t else v fi  in
             d'<v'>  
  G(c?(w)) = let c' = if name_eq(c;x) then t else c fi  in
              let w' = if name_eq(w;x) then t else w fi  in
              c'<w'>

---

Definitions :  pi_prefix_ind: pi_prefix_ind,  let: let,  ifthenelse: if b then t else f fi ,  name_eq: name_eq(x;y),  pisend: chan<val>
FDL editor aliases :  prefix-replace

---

prefix-replace(t;x;pre)  ==
    G(pre)  where     
    G(d<v>)  =  let  d'  =  if  name\_eq(d;x)  then  t  else  d  fi    in
                          let  v'  =  if  name\_eq(v;x)  then  t  else  v  fi    in
                          d'<v'>   
    G(c?(w))  =  let  c'  =  if  name\_eq(c;x)  then  t  else  c  fi    in
                            let  w'  =  if  name\_eq(w;x)  then  t  else  w  fi    in
                            c'<w'>


Date html generated: 2010_08_27-PM-08_41_08
Last ObjectModification: 2010_02_15-PM-06_06_32

Home Index