HERMIT.Dictionary.Rules
externals
type RuleNameString
ruleR
rulesR
ruleToEqualityT
ruleNameToEqualityT
getHermitRuleT
getHermitRulesT
specConstrR