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.Signature

Description

Builtin function symbols and signatures.

Synopsis

Documentation

sdecSym :: NoEqSym #

Binary builtin function symbols.

sencSym :: NoEqSym #

Binary builtin function symbols.

adecSym :: NoEqSym #

Binary builtin function symbols.

aencSym :: NoEqSym #

Binary builtin function symbols.

signSym :: NoEqSym #

Binary builtin function symbols.

verifySym :: NoEqSym #

Ternary builtin function symbols.

pkSym :: NoEqSym #

Unary builtin function symbols.

hashSym :: NoEqSym #

Unary builtin function symbols.

trueSym :: NoEqSym #

Nullary builtin function symbols.

symEncFunSig :: NoEqFunSig #

The signature for symmetric encryption.

asymEncFunSig :: NoEqFunSig #

The signature for asymmetric encryption.

signatureFunSig :: NoEqFunSig #

The signature for cryptographic signatures.

hashFunSig :: NoEqFunSig #

The signature for hashing.