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

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellNone

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

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

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

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

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

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