Language.Fixpoint.Visitor

Visitor

data Visitor acc ctx

Default Visitor

defaultVisitor

Transformers

trans

Accumulators

fold

Clients

kvars

envKVars

mapKVars

Sorts

foldSort

mapSort