Safe Haskell | None |
---|---|
Language | Haskell2010 |
Sygus.LexSygus
Documentation
Constructors
TLit Lit | |
TUnderscore | |
TOpenBracket | |
TCloseBracket | |
TColon | |
TSymbol String |
language-sygus-0.1.1.0: A parser and printer for the SyGuS 2.0 language.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Sygus.LexSygus
Constructors
TLit Lit | |
TUnderscore | |
TOpenBracket | |
TCloseBracket | |
TColon | |
TSymbol String |