Module `Identifiable`

Uniform interface for common data structures over various things.

Warning: this module is unstable and part of compiler-libs.

module type Thing = sig ... end

module Pair
  (A : Identifiable.Thing)
  (B : Identifiable.Thing) : 
  Identifiable.Thing with type t = A.t * B.t

module type Set = sig ... end

module type Map = sig ... end

module type Tbl = sig ... end

module type S = sig ... end

module Make (T : Identifiable.Thing) : Identifiable.S with type t := T.t

Module Identifiable