as2fm.jani\_generator.scxml\_helpers.top\_level\_interpreter.export\_plain\_scxml\_models
=========================================================================================

.. currentmodule:: as2fm.jani_generator.scxml_helpers.top_level_interpreter

.. autofunction:: export_plain_scxml_models