Term.Builtin.Convenience

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

Copyright | (c) 2010-2012 Benedikt Schmidt
License | GPL v3 (see LICENSE)
Maintainer | Benedikt Schmidt <beschmi@gmail.com>
Safe Haskell | None
Language | Haskell98

Term.Builtin.Convenience

Description

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 #

adec :: (Term a, Term a) -> Term a #

aenc :: (Term a, Term a) -> Term a #

sdec :: (Term a, Term a) -> Term a #

senc :: (Term a, Term a) -> Term a #

sign :: (Term a, Term a) -> Term a #

verify :: (Term a, Term a, Term a) -> Term a #

pk :: Term a -> Term a #

trueC :: Term a #

var :: String -> Integer -> LNTerm #

x0 :: LNTerm #

x1 :: LNTerm #

x2 :: LNTerm #

x3 :: LNTerm #

x4 :: LNTerm #

x5 :: LNTerm #

x6 :: LNTerm #

x7 :: LNTerm #

x8 :: LNTerm #

x9 :: LNTerm #

x10 :: LNTerm #

y0 :: LNTerm #

y1 :: LNTerm #

y2 :: LNTerm #

y3 :: LNTerm #

y4 :: LNTerm #

y5 :: LNTerm #

y6 :: LNTerm #

y7 :: LNTerm #

y8 :: LNTerm #

y9 :: LNTerm #

freshVar :: String -> Integer -> LNTerm #

fx0 :: LNTerm #

fx1 :: LNTerm #

fx2 :: LNTerm #

fx3 :: LNTerm #

fx4 :: LNTerm #

fx5 :: LNTerm #

fx6 :: LNTerm #

fx7 :: LNTerm #

fx8 :: LNTerm #

fx9 :: LNTerm #

fx10 :: LNTerm #

pubVar :: String -> Integer -> LNTerm #

px0 :: LNTerm #

px1 :: LNTerm #

px2 :: LNTerm #

px3 :: LNTerm #

px4 :: LNTerm #

px5 :: LNTerm #

px6 :: LNTerm #

px7 :: LNTerm #

px8 :: LNTerm #

px9 :: LNTerm #

px10 :: LNTerm #

lx1 :: LVar #

lx2 :: LVar #

lx3 :: LVar #

lx4 :: LVar #

lx5 :: LVar #

lx6 :: LVar #

lx7 :: LVar #

lx8 :: LVar #

lx9 :: LVar #

lx10 :: LVar #

f1 :: LNTerm #

f2 :: LNTerm #

f3 :: LNTerm #

f4 :: LNTerm #

f5 :: LNTerm #

f6 :: LNTerm #

f7 :: LNTerm #

f8 :: LNTerm #

f9 :: LNTerm #

p1 :: LNTerm #

p2 :: LNTerm #

p3 :: LNTerm #

p4 :: LNTerm #

p5 :: LNTerm #

p6 :: LNTerm #

p7 :: LNTerm #

p8 :: LNTerm #

p9 :: LNTerm #

lv1 :: LVar #

lv2 :: LVar #

lv3 :: LVar #

lv4 :: LVar #

lv5 :: LVar #

lv6 :: LVar #

lv7 :: LVar #

lv8 :: LVar #

lv9 :: LVar #

v1 :: LNTerm #

v2 :: LNTerm #

v3 :: LNTerm #

v4 :: LNTerm #

v5 :: LNTerm #

v6 :: LNTerm #

v7 :: LNTerm #

v8 :: LNTerm #

v9 :: LNTerm #

li1 :: LVar #

li2 :: LVar #

li3 :: LVar #

li4 :: LVar #

li5 :: LVar #

li6 :: LVar #

li7 :: LVar #

li8 :: LVar #

li9 :: LVar #

i1 :: LNTerm #

i2 :: LNTerm #

i3 :: LNTerm #

i4 :: LNTerm #

i5 :: LNTerm #

i6 :: LNTerm #

i7 :: LNTerm #

i8 :: LNTerm #

i9 :: LNTerm #