Module type Validated_intf.S.Validated

module type Validated = Validated_intf.Validated          with type 'a validated := 'a t

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