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