Rules
RuleBase
type
RuleBase
Constructing
mkRuleBase
extendRuleBaseList
unionRuleBase
pprRuleBase
Checking rule applications
ruleCheckProgram
Manipulating
SpecInfo
rules
mkSpecInfo
extendSpecInfo
addSpecInfo
addIdSpecialisations
Misc. CoreRule helpers
rulesOfBinds
getRules
pprRulesForUser
lookupRule
mkLocalRule
roughTopNames