Functor Validated_intf.S.Make

module Make: 
functor (Raw : Raw) -> Validated          with type raw := Raw.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