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

Copyright(c) 2010-2012 Benedikt Schmidt
LicenseGPL v3 (see LICENSE)
MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellNone
LanguageHaskell98

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 #