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