Tuple.SHOW_F
First : Interface.SHOW
Second : Interface.SHOW
type t
= First.t * Second.t
val show : t -> string