Module Extset

module Extset: sig .. end

Sets over ordered types


module type OrderedType = Set.OrderedType

Input signature of the functor Extset.Make.

module type S = sig .. end

Output signature of the functor Extset.Make.

module MakeOfMap: 
functor (M : Extmap.S) -> S with module M = M

Functor building an implementation of the set structure given a totally ordered type.

module Make: 
functor (Ord : OrderedType) -> S with type M.key = Ord.t

Functor building an implementation of the set structure given a totally ordered type.