as2fm.jani\_generator.jani\_entries.jani\_helpers.expand\_random\_variables\_in\_jani\_model
============================================================================================

.. currentmodule:: as2fm.jani_generator.jani_entries.jani_helpers

.. autofunction:: expand_random_variables_in_jani_model