Nuprl Definition : st-decrypt

decrypt(tab;kval) ==
  let k,x = kval
  in if isl(st-lookup(tab;x))
     then let key,data = outl(st-lookup(tab;x))
          in if st-key-match(tab;key;k) then inl data else inr ⋅  fi
     else inr ⋅
     fi

Definitions occuring in Statement : st-key-match: st-key-match(tab;k1;k2), st-lookup: st-lookup(tab;x), outl: outl(x), ifthenelse: if b then t else f fi , isl: isl(x), it: ⋅, spread: spread def, inr: inr x , inl: inl x
FDL editor aliases : st-decrypt st-decrypt

Latex:
decrypt(tab;kval) == let k,x = kval in if isl(st-lookup(tab;x)) then let key,data = outl(st-lookup(tab;x)) in if st-key-match(tab;key;k) then inl data else inr \mcdot{} fi else inr \mcdot{} fi Date html generated: 2016_05_16-AM-10_00_47 Last ObjectModification: 2013_03_25-PM-01_53_09 Theory : new!event-ordering Home Index