search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Datatypes! #82

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

This PR adds initial support for (non-parameterized) datatypes.

kjcjohnson commented 2 years ago

Note: declare-datatype and define-datatype commands are stubbed out and generate an error. We'll implement them if we need them.