A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.