Rules
type RuleBase
emptyRuleBase
mkRuleBase
extendRuleBaseList
unionRuleBase
pprRuleBase
ruleCheckProgram
SpecInfo
mkSpecInfo
extendSpecInfo
addSpecInfo
addIdSpecialisations
rulesOfBinds
getRules
pprRulesForUser
lookupRule
mkRule
roughTopNames