language-sygus-0.1.1.2: A parser and printer for the SyGuS 2.0 language.
Sygus.Print
printSygus :: PrintSygus sy => sy -> Text Source #