as2fm.jani_generator.jani_entries.jani_utils.generate_jani_variable

as2fm.jani_generator.jani_entries.jani_utils.generate_jani_variable(var_name: str, var_type: Type[bool | int | float | MutableSequence], array_info: ArrayInfo | None = None) → JaniExpression | JaniVariable

Helper to make a JaniVariable object.