module type Raw = Validated_intf.Rawtype t
val here : Source_code_position.there will appear in validation-failure error messages.val validate : t Validate.checkval t_of_sexp : Sexplib.Sexp.t -> tval sexp_of_t : t -> Sexplib.Sexp.there will appear in validation-failure error messages.