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 then else fi  isl: isl(x) it: spread: spread def inr: inr  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