Module type `Validated.Raw`

type t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

type t

val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.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