Documentation

module Sygus.Syntax

parse :: [Token] -> [Cmd] Source #

parseCmd :: [Token] -> Cmd Source #

parseIndex :: [Token] -> Index Source #

parseBfTerm :: [Token] -> BfTerm Source #

parseSortedVars :: [Token] -> [SortedVar] Source #

parseSortedVars1 :: [Token] -> [SortedVar] Source #

parseSort :: [Token] -> Sort Source #

parseMaybeGrammarDef :: [Token] -> Maybe GrammarDef Source #

parseGroupedRuleLists1 :: [Token] -> [GroupedRuleList] Source #