Validated.Add_compare
module Raw : sig ... end
module Validated : S with type raw := Raw.t
val compare : Validated.t -> Validated.t -> Base.Int.t