Functor Validated_intf.S.Make

module Make: 
functor (Raw : Raw) -> Validated with type raw := Raw.t
Parameters:
Raw : Raw

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