Data.Comp.Term

data Cxt

data Hole

data NoHole

type Context

type Term f

type PTerm f

type Const f

unTerm

simpCxt

toCxt

constTerm