Validated.Add_compare
Raw : sig ... end
Validated : S with type raw := Raw.t
type t
val compare : t -> t -> Core_kernel__.Import.int