PrettyPrintable.MakePPUniqRankSet
module Rank : PrintableEquatableOrderedType
module Val : PrintableRankedType with type rank = Rank.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
type rank = Rank.t
type elt = Val.t
val empty : t
val is_empty : t -> bool
val is_singleton : t -> bool
in case an element with the same rank is present both in lhs
and rhs
, keep the one from lhs
in union_prefer_left lhs rhs
val pp : ?print_rank:bool -> F.formatter -> t -> unit