sig
  type 'a show
  val to_formatter : 'a Show.show -> Format.formatter -> 'a -> unit
  val to_formatter' : 'a Show.show -> Format.formatter -> 'a -> unit
  val to_string : 'a Show.show -> 'a -> string
  val append_to : 'a Show.show -> 'a -> Buffer.t -> unit
  val print : 'a Show.show -> 'a -> unit
  val print_line : 'a Show.show -> 'a -> unit
  val shower_from_formatter :
    ?size_hint:int -> (Format.formatter -> 'a -> unit) -> 'a Show.show
  val shower_from_to_string :
    ?size_hint:int -> ('a -> string) -> 'a Show.show
  val any_shower : 'a Show.show
  val func_shower : ('a -> 'b) Show.show
  val int_shower : int Show.show
  val float_shower : float Show.show
  val bool_shower : bool Show.show
  val char_shower : char Show.show
  val char_shower' : char Show.show
  val string_shower : string Show.show
  val string_shower' : string Show.show
  val unit_shower : unit Show.show
  val option_shower : 'a Show.show -> 'a option Show.show
  val list_shower : 'a Show.show -> 'a list Show.show
  val assoc_list_shower :
    'a Show.show -> 'b Show.show -> ('a * 'b) list Show.show
  val listlike_shower :
    string -> string -> string -> 'a Show.show -> 'a list Show.show
  val assoc_shower : 'a Show.show -> 'b Show.show -> ('a * 'b) Show.show
  val tuple_shower2 : 'a Show.show -> 'b Show.show -> ('a * 'b) Show.show
  val tuple_shower3 :
    'a Show.show -> 'b Show.show -> 'c Show.show -> ('a * 'b * 'c) Show.show
  val tuple_shower4 :
    'a Show.show ->
    'b Show.show ->
    'c Show.show -> 'd Show.show -> ('a * 'b * 'c * 'd) Show.show
  val tuple_shower5 :
    'a Show.show ->
    'b Show.show ->
    'c Show.show ->
    'd Show.show -> 'e Show.show -> ('a * 'b * 'c * 'd * 'e) Show.show
  val tuple_shower6 :
    'a Show.show ->
    'b Show.show ->
    'c Show.show ->
    'd Show.show ->
    'e Show.show -> 'f Show.show -> ('a * 'b * 'c * 'd * 'e * 'f) Show.show
  val field_shower : string -> ('a -> 'b) -> 'b Show.show -> 'a Show.show
  val record_shower : 'a Show.show list -> 'a Show.show
end