Module type PrettyPrintable.PrintableRankedType

include PrintableType
type t
val pp : F.formatter -> t -> unit
val compare : t -> t -> int
val equal : t -> t -> bool
type rank
val to_rank : t -> rank