jon.recoil.org

Module Ocaml_utils.IdentifiableSource

Uniform interface for common data structures over various things.

Warning: this module is unstable and part of compiler-libs.

Sourcemodule type Thing = sig ... end
Sourcemodule Pair (A : Thing) (B : Thing) : Thing with type t = A.t * B.t
Sourcemodule type Set = sig ... end
Sourcemodule type Map = sig ... end
Sourcemodule type Tbl = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (T : Thing) : S with type t := T.t