sig   type t   val equal : t -> t -> bool   val hash : t -> int   val compare : t -> t -> int   val output : Pervasives.out_channel -> Identifiable.Thing.t -> unit   val print : Format.formatter -> Identifiable.Thing.t -> unit end