chc.proof.PPOType module
------------------------

Base class and subclasses:
^^^^^^^^^^^^^^^^^^^^^^^^^^

.. autosummary::
   chc.proof.PPOType.PPOType
   chc.proof.PPOType.ProgramPPOType
   chc.proof.PPOType.LibPPOType

.. automodule:: chc.proof.PPOType
    :members:
    :undoc-members:
    :show-inheritance: