sig
  val show_default : 'a Generic_core.Ty.T.ty -> 'a -> string
  val show : 'a Generic_core.Ty.T.ty -> 'a -> string
  val show_ext :
    'a Generic_core.Ty.T.ty -> string Generic_core.Consumer.ty_fun -> unit
end