module Id:Identifiable.S
type t
module T:Identifiable.Thingwith type t = t
include Identifiable.Thing
module Set:Identifiable.Setwith module T := T
module Map:Identifiable.Mapwith module T := T
module Tbl:Identifiable.Tblwith module T := T