Twee.Base

class Symbolic a

terms

subst

type TermOf a

type TermListOf a

type SubstOf a

type BuilderOf a

type FunOf a

vars

isGround

funs

occ

canonicalise

class Minimal a

minimalTerm

isMinimal

class Skolem f

class Arity f

class Sized a

class Ordered f

data Strictness

class Function f

data Extended f

extended

unextended