Horname.Internal.SMT.Parser

Documentation

type Parser = Parsec Void Text

parseName :: Parser Text

parseSort :: Parser Sort

parseArg :: Parser Arg

parseArgs :: Parser [Arg]

someSpace :: Parser ()

parseSExpr :: Parser SExpr

parseDefineFun :: Parser DefineFun

parseDefineFuns :: Parser [DefineFun]

parseDeclareFun :: Parser (Text, [Text])

parseDeclareFuns :: Parser (Map Text [Text])