Functor Identifiable.Make

module Make: 
functor (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: sig .. end
module Map: sig .. end
module Tbl: sig .. end