Swish.Rule

class Expression ex

data Formula ex

data Rule ex

type RuleMap ex

nullScope

nullSN

nullFormula

nullRule

fwdCheckInference

bwdCheckInference

showsFormula

showsFormulae

showsWidth