Parameter Add_typerep.2-Validated

type ('raw, 'witness) validated
type witness
type raw
type t = (rawwitness) validated
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
type t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val create : raw -> t Core_kernel.Or_error.t
val create_exn : raw -> t
val raw : t -> raw