Functor Identifiable.Make

module Make: (T: Thing) => S with type t := T.t;

Parameters:

T : Thing

---

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;