---

norm-intransit(intr) ==
  let ev,x,com = intr in 
  let t,z = ev in
    let t' := t in
    let z' := z in
    let x' := x in
    let com' := com in
      <<t', z'>, x', com'>

---

Definitions :  spreadn: spread3,  spread: spread def,  callbyvalue: callbyvalue,  pair: <a, b>
FDL editor aliases :  norm-intransit

---

norm-intransit(intr)  ==
    let  ev,x,com  =  intr  in 
    let  t,z  =  ev  in
        let  t'  :=  t  in
        let  z'  :=  z  in
        let  x'  :=  x  in
        let  com'  :=  com  in
            <<t',  z'>,  x',  com'>


Date html generated: 2010_08_27-PM-03_50_35
Last ObjectModification: 2010_05_06-AM-01_34_35

Home Index