include Typerep_lib.Typerepable.S with type t := Validated.t
val typerep_of_t : Validated.t Typerep_lib.Std_internal.Typerep.tval typename_of_t : Validated.t Typerep_lib.Typename.t
Validated.Add_typerepmodule Raw : sig ... endinclude Typerep_lib.Typerepable.S with type t := Validated.tval typerep_of_t : Validated.t Typerep_lib.Std_internal.Typerep.tval typename_of_t : Validated.t Typerep_lib.Typename.t