Standard ML library for sets and maps - View it on GitHub