Nuprl Definition : encryption-key-atoms

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


Definitions occuring in Statement :  cons: [a / b],  nil: [],  decide: case b of inl(x) => s[x] | inr(y) => t[y]
FDL editor aliases :  encryption-key-atoms
Latex:
encryption-key-atoms(k)  ==
    case  k  of  inl(x)  =>  []  |  inr(x)  =>  case  x  of  inl(a)  =>  [a]  |  inr(a)  =>  [a]


Date html generated: 2015_07_23-PM-00_01_51
Last ObjectModification: 2012_08_30-PM-02_30_15

Home Index