Nuprl Definition : 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 >
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
eq_int: (i =z j),
spreadn: spread3,
pi1: fst(t),
apply: f a,
lambda: λx.A[x],
pair: <a, b>,
add: n + m,
natural_number: $n,
update: f[x:=v]
FDL editor aliases :
st-encrypt
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 f\000Ci >
Date html generated:
2015_07_17-AM-08_56_10
Last ObjectModification:
2013_03_25-PM-01_53_10
Home
Index