as2fm.jani_generator.ros_helpers.ros_timer.convert_time_between_units

as2fm.jani_generator.ros_helpers.ros_timer.convert_time_between_units(time: int, from_unit: str, to_unit: str) int

Convert time from one unit to another.