Term.Builtin.Convenience
(*:)
(#)
adec
aenc
sdec
senc
sign
verify
pk
trueC
var
x0
x1
x2
x3
x4
x5
x6
x7
x8
x9
x10
y0
y1
y2
y3
y4
y5
y6
y7
y8
y9
freshVar
fx0
fx1
fx2
fx3
fx4
fx5
fx6
fx7
fx8
fx9
fx10
pubVar
px0
px1
px2
px3
px4
px5
px6
px7
px8
px9
px10
lx1
lx2
lx3
lx4
lx5
lx6
lx7
lx8
lx9
lx10
f1
f2
f3
f4
f5
f6
f7
f8
f9
p1
p2
p3
p4
p5
p6
p7
p8
p9
lv1
lv2
lv3
lv4
lv5
lv6
lv7
lv8
lv9
v1
v2
v3
v4
v5
v6
v7
v8
v9
li1
li2
li3
li4
li5
li6
li7
li8
li9
i1
i2
i3
i4
i5
i6
i7
i8
i9