val show : #App.t -> string -> string -> unit