HERMIT.Dictionary.Rules

GHC Rewrite Rules and Specialisation

externals

Rules

data RuleName

data RuleNameListBox

ruleR

rulesR

ruleToEqualityT

ruleNameToEqualityT

getHermitRuleT

getHermitRulesT

Specialisation

specConstrR

specialiseR