diff options
| author | makaimann <makaim@stanford.edu> | 2021-05-05 03:15:39 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-05 07:15:39 +0000 |
| commit | dde3aac0417c10cdd1f8217f653bcdf95d94290c (patch) | |
| tree | 616fc2d4094eb25f43cd2a5a739365c429d5d13f /src/theory | |
| parent | f9eee2d3a33c38bec3efb5dda91d43ef55c992d7 (diff) | |
Save block comments associated with each kind when parsing kinds file (#6489)
This PR adds features to the KindsParser for saving and looking up the documentation comment associated with each Kind. This PR does not make use of it yet, but future PRs can query for the comment to automatically add it to language binding documentation (e.g., Python / Java bindings).
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions