lazyset

A Set and Map implementation that is completly lazy and works for infinite sets and maps.