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

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellNone

Term.Builtin.Signature

Description

Builtin function symbols and signatures.

Synopsis

Documentation

sdecSym :: NoEqSymSource

Binary builtin function symbols.

signSym :: NoEqSymSource

Binary builtin function symbols.

aencSym :: NoEqSymSource

Binary builtin function symbols.

adecSym :: NoEqSymSource

Binary builtin function symbols.

sencSym :: NoEqSymSource

Binary builtin function symbols.

verifySym :: NoEqSymSource

Ternary builtin function symbols.

pkSym :: NoEqSymSource

Unary builtin function symbols.

hashSym :: NoEqSymSource

Unary builtin function symbols.

trueSym :: NoEqSymSource

Nullary builtin function symbols.

symEncFunSig :: NoEqFunSigSource

The signature for symmetric encryption.

asymEncFunSig :: NoEqFunSigSource

The signature for asymmetric encryption.

signatureFunSig :: NoEqFunSigSource

The signature for cryptographic signatures.

hashFunSig :: NoEqFunSigSource

The signature for hashing.