Module type Identifiable.Thing

module type Thing = sig .. end

type t 

include Hashtbl.HashedType

include Map.OrderedType

val output : out_channel -> t -> unit

val print : Format.formatter -> t -> unit