diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2021-11-30 13:06:30 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-30 21:06:30 +0000 |
| commit | 0b287939efd35e0e98adbd704e61be864ffeb5aa (patch) | |
| tree | 6a2887d5e600f42ce6f3c13547960c12fdae6e0b /docs/api/python/z3compat/bitvec.rst | |
| parent | 23f134fa7309621be513ca3c728b7a3c03473a45 (diff) | |
Scaffold the idiomatic API's documentation (#7715)
Scaffolding the documentation, and fleshing it out for the Boolean functions and terms.
Diffstat (limited to 'docs/api/python/z3compat/bitvec.rst')
| -rw-r--r-- | docs/api/python/z3compat/bitvec.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/api/python/z3compat/bitvec.rst b/docs/api/python/z3compat/bitvec.rst new file mode 100644 index 000000000..df4eb16ec --- /dev/null +++ b/docs/api/python/z3compat/bitvec.rst @@ -0,0 +1,2 @@ +Bit-Vectors +============ |