Package it.unimi.dsi

General utilities