Identifier.Self
type nonrec t = t
val show : ('a * 'b) -> 'b
val compare : (int * 'a) -> (int * 'b) -> int