Language.Fixpoint.Types.Visitor

Visitor

data Visitor acc ctx

Extracting Symbolic Constants (String Literals)

class SymConsts a

Default Visitor

defaultVisitor

Transformers

trans

Accumulators

fold

Clients

kvars

size

envKVars

envKVarsN

rhsKVars

mapKVars

mapKVars'

mapKVarSubsts

Predicates on Constraints

isConcC

isKvarC

Sorts

foldSort

mapSort