Up

Module type Raw = Validated_intf.Raw

Signature

type t

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

val here : Source_code_position.t

here will appear in validation-failure error messages.

val validate : t Validate.check