Allow multiple variables to be declared inside of `declare-var` - Githubissues

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Allow multiple variables to be declared inside of `declare-var` #17

Closed kjcjohnson closed 3 years ago

kjcjohnson commented 3 years ago

Support the syntax (declare-var (<var1> <var2> ...) <type>).