Module `Rel_utils.XComparable`

Implementation of the ComparableType interface for semantic values.

type t = X.r

val pp : Stdlib.Format.formatter -> X.r -> unit

val equal : X.r -> X.r -> bool

val hash : X.r -> int

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

module Set = SX

module Map = MX

module Table = HX