Module Identifiable.S.T

module T: Identifiable.Thing  with type t = t

type t 
include Hashtbl.HashedType
include Map.OrderedType
val output : out_channel -> t -> unit
val print : Format.formatter -> t -> unit