---

pa-useable(pa) ==
  let n,v = pa in
    if n =a "new" then [v]
   if n =a "rcv" then sdata-atoms(v)
   if n =a "encrypt" then [snd(snd(v))]
   if n =a "decrypt" then sdata-atoms(fst(v))
   if n =a "sign" then [snd(snd(v))]
   else []
   fi 

---

Definitions :  spread: spread def,  sdata-atoms: sdata-atoms(d),  pi1: fst(t),  ifthenelse: if b then t else f fi ,  eq_atom: x =a y,  token: "$token",  cons: [car / cdr],  pi2: snd(t),  nil: []
FDL editor aliases :  pa-useable

---

pa-useable(pa)  ==
    let  n,v  =  pa  in
        if  n  =a  "new"  then  [v]
      if  n  =a  "rcv"  then  sdata-atoms(v)
      if  n  =a  "encrypt"  then  [snd(snd(v))]
      if  n  =a  "decrypt"  then  sdata-atoms(fst(v))
      if  n  =a  "sign"  then  [snd(snd(v))]
      else  []
      fi 


Date html generated: 2010_08_28-AM-02_46_20
Last ObjectModification: 2010_02_23-AM-12_14_34

Home Index