---

pi-guarded-trans(compList;g) ==
  Y 
  (pi-guarded-trans,l,serial,avoid,m.
    if pDVfire?(m)
    then <pi-guarded-aux(compList;g) l serial avoid
         , make-lg([<l, mk-tagged("msg";pDVfire())>])
         >
    else <pi-guarded-trans l serial avoid, make-lg([])>
    fi )

---

Definitions :  ycomb: Y,  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  pDVfire?: pDVfire?(x),  UnknownObject cons: [car / cdr],  mk-tagged: mk-tagged(tg;x),  token: "$token",  pDVfire: pDVfire(),  pair: <a, b>,  apply: f a,  make-lg: make-lg(L),  nil: []
FDL editor aliases :  pi-guarded-trans

---

pi-guarded-trans(compList;g)  ==
    Y 
    (\mlambda{}pi-guarded-trans,l,serial,avoid,m.
        if  pDVfire?(m)
        then  <pi-guarded-aux(compList;g)  l  serial  avoid,  make-lg([<l,  mk-tagged("msg";pDVfire())>])>
        else  <pi-guarded-trans  l  serial  avoid,  make-lg([])>
        fi  )


Date html generated: 2010_08_28-AM-01_41_17
Last ObjectModification: 2010_05_11-PM-03_23_14

Home Index