encrypt(tab;keyv) ==
let K,p,f = tab in
<K, p + 1, if p <z K then f[p:=<fst((f p)), keyv>] else f fi >
Definitions :
spreadn: spread3,
add: n + m,
natural_number: $n,
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
update: f[x:=v],
lambda: 
x.A[x],
eq_int: (i =
j),
pair: <a, b>,
pi1: fst(t),
apply: f a
FDL editor aliases :
st-encrypt
encrypt(tab;keyv) ==
let K,p,f = tab in
<K, p + 1, if p <z K then f[p:=<fst((f p)), keyv>] else f fi >
Date html generated:
2010_08_27-AM-09_34_03
Last ObjectModification:
2009_12_16-AM-01_15_19
Home
Index