---

pa-used(pa) ==
  let n,v = pa in
    if n =a "send" then sdata-atoms(v)
   if n =a "encrypt"
     then sdata-atoms(fst(v)) @ encryption-key-atoms(fst(snd(v)))
   if n =a "sign" then sdata-atoms(fst(v))
   if n =a "verify" then [snd(snd(v)) / sdata-atoms(fst(v))]
   if n =a "decrypt" then [snd(snd(v)) / encryption-key-atoms(fst(snd(v)))]
   else []
   fi 

---

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

---

pa-used(pa)  ==
    let  n,v  =  pa  in
        if  n  =a  "send"  then  sdata-atoms(v)
      if  n  =a  "encrypt"  then  sdata-atoms(fst(v))  @  encryption-key-atoms(fst(snd(v)))
      if  n  =a  "sign"  then  sdata-atoms(fst(v))
      if  n  =a  "verify"  then  [snd(snd(v))  /  sdata-atoms(fst(v))]
      if  n  =a  "decrypt"  then  [snd(snd(v))  /  encryption-key-atoms(fst(snd(v)))]
      else  []
      fi 


Date html generated: 2010_08_28-AM-02_46_12
Last ObjectModification: 2010_02_23-AM-12_14_26

Home Index