.. _exhale_function_Proposition_8h_1a311cf34a25cf2688c50173d3c0f2fc75:

Function VAL::operator<<(ostream&, const Proposition&)
======================================================

- Defined in :ref:`file_src_VALfiles_Proposition.h`


Function Documentation
----------------------


.. doxygenfunction:: VAL::operator<<(ostream&, const Proposition&)
   :project: popf Doxygen Project