`sig
type 'a validated
type raw
type t = Validated_intf.Validated.raw Validated_intf.Validated.validated
val create :
Validated_intf.Validated.raw -> Validated_intf.Validated.t Or_error.t
val create_exn : Validated_intf.Validated.raw -> Validated_intf.Validated.t
val raw : Validated_intf.Validated.t -> Validated_intf.Validated.raw
val t_of_sexp : Sexplib.Sexp.t -> Validated_intf.Validated.t
val sexp_of_t : Validated_intf.Validated.t -> Sexplib.Sexp.t
end`