Validated.Add_hash
module Raw : sig ... end
module Validated : S with type raw := Raw.t
include Ppx_hash_lib.Hashable.S with type t := Validated.t
val hash_fold_t : Base.Hash.state -> Validated.t -> Base.Hash.state
val hash : Validated.t -> Base.Hash.hash_value