Module `Rel_utils.XComparable`

Implementation of the ComparableType interface for semantic values.

type t = X.r

val pp : X.T.t Fmt.t

val equal : X.T.t -> X.T.t -> bool

val hash : X.T.t -> int

val compare : X.r -> X.r -> int

module Set = SX

module Map = MX

module Table = HX