sig
  type a
  val format : Format.formatter -> Show.Show.a -> unit
  val format_list : Format.formatter -> Show.Show.a list -> unit
  val show : Show.Show.a -> string
  val show_list : Show.Show.a list -> string
end