A library to implement a norm and a distance on strings useful to quantify intervals in dictionaries.