模块 Identifiable

module Identifiable: sig .. end

针对各种事物的常用数据结构的统一接口。

警告：此模块不稳定，并且是 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