Module type Validated_intf.Raw

module type Raw = sig .. end

type t 
val here : Source_code_position.t
here will appear in validation-failure error messages.
val validate : t Validate.check
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t

here will appear in validation-failure error messages.