chc.proof.CFunctionPO module
----------------------------

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