Tip.Haskell.Translate
prelude
tipDSL
quickCheck
quickCheckUnsafe
quickCheckAll
quickSpec
sysEnv
smtenSym
smtenEnv
smtenMinisat
smtenMonad
feat
lsc
typeable
data HsId a
addHeader
addImports
trTheory
data Kind
theorySigs
ufInfo
data Mode
isLazySmallCheck
isSmten
trTheory'
arbitrary
trType
trBuiltinType
withBool
hsBuiltinTys
hsBuiltins
typeOfBuiltin
makeSig
theoryBuiltins