tree 7722d013c51fedb4b8195362984f32cda09c5696
parent 11f1fd8340539ec2ba7cd35588183e01791b5e1e
author Davide Pesavento <davidepesa@gmail.com> 1693357448 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1693357448 -0400

Simplify some code with Boost.Operators

Change-Id: Ic873bcbaf6be00d5c35601cfc8090df534d815ee