Identifiable(3o)

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