tamarin-prover-term-0.8.0.0: Term manipulation library for the tamarin prover.

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe-Infered

Term.Builtin.Convenience

Description

Convenience abbreviations, mostly used for testing and debugging.

Documentation

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

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

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

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

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

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

trueC :: Ord a => Term aSource

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

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

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

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

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

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

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