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