as2fm.jani\_generator.jani\_entries.jani\_convince\_expression\_expansion.intersection\_operator
================================================================================================

.. currentmodule:: as2fm.jani_generator.jani_entries.jani_convince_expression_expansion

.. autofunction:: intersection_operator