Модуль типа 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