horname-0.1.3.0: Rename function definitions returned by SMT solvers
Horname.Internal.SMT.Parser
parseName :: Parser Text Source #
parseSort :: Parser Sort Source #
parseArg :: Parser Arg Source #
parseArgs :: Parser [Arg] Source #
someSpace :: Parser () Source #
parseSExpr :: Parser SExpr Source #
parseDefineFun :: Parser DefineFun Source #
parseDefineFuns :: Parser [DefineFun] Source #
parseDeclareFun :: Parser (Text, [Text]) Source #
parseDeclareFuns :: Parser (Map Text [Text]) Source #