/** General utilities */

package it.unimi.dsi;