as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.round_operator

as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.round_operator(value=None, *, exp=None) → JaniExpression