Documentation

askSMT :: Config -> Context -> [(Symbol, Sort)] -> Expr -> IO Bool Source #

toSMT :: String -> Config -> Context -> [(Symbol, Sort)] -> Expr -> Pred Source #