.. _exhale_function_Proposition_8h_1ad40bfe7bd55b9eeb7634d384650813af:

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