devicewheel_rotation_sensor

features

wheel_pulse: out data port;

end wheel_rotation_sensor;