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:

functor (A : Thing) ->

functor (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:

functor (T : Thing) -> S with type t := T.t

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.