.. _api-Sets-types:

*Sets with Cardinality Constraints*

*****
Types
*****


.. automodule:: logic1.theories.Sets.types
    :members: