Модуль Множеств

Множества над упорядоченными типами.

Этот модуль реализует структуру данных множества, заданную функцией полного порядка над элементами множества. Все операции над множествами являются чисто прикладными (без побочных эффектов). Реализация использует сбалансированные двоичные деревья, поэтому она достаточно эффективна: вставка и проверка принадлежности занимают время, логарифмически зависящее от размера множества, например.

Функтор Set.Make создает реализации для любого типа, заданного функцией compare. Например:

     module IntPairs =
       struct
         type t = int * int
         let compare (x0,y0) (x1,y1) =
           match Stdlib.compare x0 x1 with
               0 -> Stdlib.compare y0 y1
             | c -> c
       end

     module PairsSet = Set.Make(IntPairs)

     let m = PairsSet.(empty |> add (2,3) |> add (5,7) |> add (11,13))
   

Это создает новый модуль PairsSet, с новым типом PairsSet.t множеств int * int.