Z3.Monad
class MonadZ3 m
data Z3 a
data Logic
data Z3Env
data Symbol
data AST
data Sort
data FuncDecl
data App
data Pattern
data Constructor
data Model
data Context
data FuncInterp
data FuncEntry
data Params
data Solver
data SortKind
data ASTKind
data Result
type EvalAst m a
data FuncModel
data ASTPrintMode
data Z3Error
data Z3ErrorCode
data Version
class MonadFixedpoint m
data Fixedpoint
class MonadOptimize m
data Optimize