An OCaml implementation of the Skyline problem