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
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: 2015_07_17-AM-08_56_07
Last ObjectModification: 2013_03_25-PM-01_53_09

Home Index