Parameter Core_kernel.Validated.Make.1-Raw

type t
include sig ... end
val t_of_sexp : Base.Sexp.t ‑> t
val sexp_of_t : t ‑> Base.Sexp.t
val here : Source_code_position.t

here will appear in validation-failure error messages.

val validate : t Core_kernel__.Import.Validate.check