sig
  val deepfix : 'a Generic_core.Ty.T.ty -> 'a -> 'a
  val equal : 'a Generic_core.Ty.T.ty -> 'a -> 'a -> bool
  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