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