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