Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
---|---|
Safe Haskell | None |
Builtin rewriting rules.
Rewriting rules
A rewrite rule.
RRule a a |
dhRules :: Set (RRule LNTerm)Source
The rewriting rules for Diffie-Hellman. This is a presentation due to Lankford with the finite variant property.
bpRules :: Set (RRule LNTerm)Source
The rewriting rules for bilinear pairing. These rules extend the the rules for Diffie-Hellman.
symEncRules :: Set StRuleSource
The rewriting rules for standard subterm operators that are builtin.
asymEncRules :: Set StRuleSource
The rewriting rules for standard subterm operators that are builtin.
signatureRules :: Set StRuleSource
The rewriting rules for standard subterm operators that are builtin.
Convenience export
module Term.Builtin.Signature