language-sygus-0.1.1.0: A parser and printer for the SyGuS 2.0 language.

Safe HaskellNone
LanguageHaskell2010

Sygus.ParseSygus

Documentation

module Sygus.Syntax

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