SMTVerbosity (reference) in projects: dports

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/
H A D	Types.hs	`110 \| SMTVerbosity Integer constructor 129 isStartModeOption SMTVerbosity{} = False function 147 isOnlyOnceOption SMTVerbosity{} = False function 169 cvt (SMTVerbosity i) = opt [":verbosity", show i]`
H A D	Query.hs	`180 …SMTVerbosity{} -> askFor "SMTVerbosity" ":verbosity" $…`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Queries/
H A D	BasicQuery.hs	`70 _ <- getOption SMTVerbosity`