Term.Builtin.Convenience

Convenience abbreviations, mostly used for testing and debugging.

Documentation

(*:) :: Ord a => Term a -> Term a -> Term a

(#) :: Ord a => Term a -> Term a -> Term a

(+:) :: Ord a => Term a -> Term a -> Term a

adec, sign, senc, sdec, aenc :: Ord a => (Term a, Term a) -> Term a

verify :: Ord a => (Term a, Term a, Term a) -> Term a

pk :: Ord a => Term a -> Term a

trueC :: Ord a => Term a

var :: String -> Integer -> LNTerm

x0, x10, x9, x8, x7, x6, x5, x4, x3, x2, x1 :: LNTerm

y0, y9, y8, y7, y6, y5, y4, y3, y2, y1 :: LNTerm

freshVar :: String -> Integer -> LNTerm

fx0, fx10, fx9, fx8, fx7, fx6, fx5, fx4, fx3, fx2, fx1 :: LNTerm

pubVar :: String -> Integer -> LNTerm

px0, px10, px9, px8, px7, px6, px5, px4, px3, px2, px1 :: LNTerm

lx1, lx10, lx9, lx8, lx7, lx6, lx5, lx4, lx3, lx2 :: LVar

f1, f9, f8, f7, f6, f5, f4, f3, f2 :: LNTerm

p1, p9, p8, p7, p6, p5, p4, p3, p2 :: LNTerm

lv1, lv9, lv8, lv7, lv6, lv5, lv4, lv3, lv2 :: LVar

v1, v9, v8, v7, v6, v5, v4, v3, v2 :: LNTerm

li1, li9, li8, li7, li6, li5, li4, li3, li2 :: LVar

i1, i9, i8, i7, i6, i5, i4, i3, i2 :: LNTerm

ls1, ls9, ls8, ls7, ls6, ls5, ls4, ls3, ls2 :: LVar

s1, s9, s8, s7, s6, s5, s4, s3, s2 :: LNTerm