Language.Fixpoint.Types.Visitor

Visitor

data Visitor acc ctx

Extracting Symbolic Constants (String Literals)

class SymConsts a

Default Visitor

Transformers

Accumulators

Clients

Predicates on Constraints

Sorts