Module type Validated_intf.Validated

module type Validated = sig .. end

type 'a validated 

type raw 

type t = raw validated 

val create : raw -> t Or_error.t

val create_exn : raw -> t

val raw : t -> raw

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t