Module type Identifiable.S

module type S = sig .. end

---

type t;

module T: Identifiable.Thing with type t = t;

include Identifiable.Thing;

module Set: Identifiable.Set with module T := T;

module Map: Identifiable.Map with module T := T;

module Tbl: Identifiable.Tbl with module T := T;