NAME

       Identifiable - Uniform interface for common data structures over various things.

Module

       Module   Identifiable

Documentation

       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) (B : Thing) -> sig end

       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) -> sig end