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