Tip.Utils.Specialiser

specialise

safeRule

data Rule c a

data Expr c a

data Void

absurd

type Closed c

subtermRules

subterms

type Subst a b c

type Inst a c