Test.Target.Monad
whenVerbose
noteUsed
addDep
addConstraint
addConstructor
addSort
addVariable
inModule
making
lookupCtor
guarded
fresh
freshChoice
freshInt
getValue
data Target a
runTarget
data TargetState
initState
data TargetOpts
defaultOpts