---

norm-runinfo(info) ==
  case info
  of inl(tr) => let ev,x,ms = tr in 
                let t,z = ev in
                  let t' := t in
                  let z' := z in
                  let x' := x in
                  let ms' := ms in
                    inl <<t', z'>, x', ms'> 
   | inr(z) => inr  

---

Definitions :  decide: case b of inl(x) => s[x] | inr(y) => t[y],  spreadn: spread3,  spread: spread def,  callbyvalue: callbyvalue,  inl: inl x ,  pair: <a, b>,  inr: inr x ,  it:
FDL editor aliases :  norm-runinfo

---

norm-runinfo(info)  ==
    case  info
    of  inl(tr)  =>  let  ev,x,ms  =  tr  in 
                                let  t,z  =  ev  in
                                    let  t'  :=  t  in
                                    let  z'  :=  z  in
                                    let  x'  :=  x  in
                                    let  ms'  :=  ms  in
                                        inl  <<t',  z'>,  x',  ms'> 
      |  inr(z)  =>  inr  \mcdot{} 


Date html generated: 2010_08_27-PM-03_53_13
Last ObjectModification: 2010_05_05-PM-07_10_25

Home Index