| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Sygus.Print
Documentation
printSygus :: PrintSygus sy => sy -> Text Source #
language-sygus-0.1.1.0: A parser and printer for the SyGuS 2.0 language.
| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Sygus.Print
printSygus :: PrintSygus sy => sy -> Text Source #