Module Extset

module Extset: sig .. end

Sets over ordered types

module type OrderedType = Stdlib.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.