Parameter Core_kernel.Validated.Add_typerep.1-Raw

type t
include sig ... end
val typerep_of_t : t Typerep_lib.Std.Typerep.t
val typename_of_t : t Typerep_lib.Std.Typename.t
include Raw with type t := t
type t
include sig ... end
val t_of_sexp : Base.Sexp.t ‑> t
val sexp_of_t : t ‑> Base.Sexp.t

here will appear in validation-failure error messages.