Module Identifiable

module Identifiable: sig .. end

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: Thing, B: Thing) => 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: Thing) => S with type t := T.t;