projects / cvc5.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Document special member functions in python API (#8513)
[cvc5.git] / docs / api / python / base / datatypeconstructor.rst
1 DatatypeConstructor
2 ===================
3
4 .. autoclass:: cvc5.DatatypeConstructor
5 :members:
6 :special-members: __getitem__, __iter__
7 :undoc-members: