Swish.Rule
class Expression ex
data Formula ex
data Rule ex
type RuleMap ex
nullScope
nullSN
nullFormula
nullRule
fwdCheckInference
bwdCheckInference
showsFormula
showsFormulae
showsWidth