Rules
emptyRuleBase
mkRuleBase
extendRuleBaseList
unionRuleBase
pprRuleBase
ruleCheckProgram
RuleInfo
mkRuleInfo
extendRuleInfo
addRuleInfo
addIdSpecialisations
rulesOfBinds
getRules
pprRulesForUser
lookupRule
mkRule
roughTopNames