Data.Comp.Multi.Term

data Cxt h f a i

data Hole

data NoHole

type Context

type Term f

type Const f

constTerm

unTerm

toCxt

simpCxt