Source file ordered.ml

1
2
3
4
5
module Make (Key : Map.Key) = struct
  module Key = Key
  module Map = Map.Make (Key)
  module Set = Set.Make (Key) (Map)
end