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 #