Declare non-terminals ahead of time in grammar definition

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Closed kjcjohnson closed 3 years ago

kjcjohnson commented 3 years ago

This is to support the (declare-nt <nt> <nt-type> <rel-defn>) syntax inside of the synth-term block.