---

encryption-key-atoms(k) ==
  case k of inl(x) => [] | inr(x) => case x of inl(a) => [a] | inr(a) => [a]

---

Definitions :  decide: case b of inl(x) => s[x] | inr(y) => t[y],  cons: [car / cdr],  nil: []
FDL editor aliases :  encryption-key-atoms

---

encryption-key-atoms(k)  ==
    case  k  of  inl(x)  =>  []  |  inr(x)  =>  case  x  of  inl(a)  =>  [a]  |  inr(a)  =>  [a]


Date html generated: 2010_08_28-AM-01_49_33
Last ObjectModification: 2010_03_11-PM-03_47_09

Home Index