chc.proof.SPOType module
------------------------

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

.. autosummary::
   chc.proof.SPOType.SPOType
   chc.proof.SPOType.LocalSPOType
   chc.proof.SPOType.CallsiteSPOType
   chc.proof.SPOType.ReturnsiteSPOType

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