Module Ocaml_utils.Identifiable
Uniform interface for common data structures over various things.
Warning: this module is unstable and part of compiler-libs.
module type Thing = sig ... endmodule Pair
(A : Ocaml_utils.Identifiable.Thing)
(B : Ocaml_utils.Identifiable.Thing) :
Ocaml_utils.Identifiable.Thing with type t = A.t * B.tmodule type Set = sig ... endmodule type Map = sig ... endmodule type Tbl = sig ... endmodule type S = sig ... endmodule Make
(T : Ocaml_utils.Identifiable.Thing) :
Ocaml_utils.Identifiable.S with type t := T.t