Module type Core_kernel__.Validated_intf.Raw

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

here will appear in validation-failure error messages.

val validate : t Core_kernel__.Import.Validate.check