projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20e2df1) | patch
Add kinds to python docs (#7672)
authorGereon Kremer <gkremer@stanford.edu>
Tue, 23 Nov 2021 20:59:26 +0000 (12:59 -0800)
committerGitHub <noreply@github.com>
Tue, 23 Nov 2021 20:59:26 +0000 (20:59 +0000)
commit38e4cf3fe6dd8f171657943155e875c180649e15
tree87c2c06cfb9114bcd31843beeae1f291bf36778ctree
parent20e2df18b5427bdc3b59ade5b0711c78b677cef9commit | diff
Add kinds to python docs (#7672)

This PR adds the kinds to the documentation for the regular python docs.
docs/api/python/regular/kind.rst [new file with mode: 0644] blob
docs/api/python/regular/python.rst diff | blob | history