as2fm.jani_generator.jani_entries.jani_expression_generator.array_value_operator

as2fm.jani_generator.jani_entries.jani_expression_generator.array_value_operator(elements) JaniExpression

Generate an array value expression

Parameters:

elements – The elements of the array