---

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 :  isl: isl(x),  spread: spread def,  outl: outl(x),  st-lookup: st-lookup(tab;x),  ifthenelse: if b then t else f fi ,  st-key-match: st-key-match(tab;k1;k2),  inl: inl x ,  inr: inr x ,  it:
FDL editor aliases :  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: 2010_08_27-AM-09_34_01
Last ObjectModification: 2009_12_16-AM-01_15_12

Home Index