proto2ros.equivalences module