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