Module Identifiable
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 type Set = sig ... end
module type Map = sig ... end
module type Tbl = sig ... end
module type S = sig ... end