Parameter Show.1-First

type t
val show : t -> string