Module `Ocaml_utils.Identifiable`

Uniform interface for common data structures over various things.

module type Thing = sig ... end

module Pair
  (A : Ocaml_utils.Identifiable.Thing)
  (B : Ocaml_utils.Identifiable.Thing) : 
  Ocaml_utils.Identifiable.Thing with type t = A.t * B.t

module type S = sig ... end

module Make
  (T : Ocaml_utils.Identifiable.Thing) : 
  Ocaml_utils.Identifiable.S with type t := T.t

Module Ocaml_utils.Identifiable