Parameter Add_bin_io.Validated

type witness
type t = (Raw.t, witness) t
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val create : Raw.t -> t Or_error.t
val create_exn : Raw.t -> t
val raw : t -> Raw.t
val raw_local : t -> Raw.t
val create_stable_witness : Raw.t Stable_witness.t -> t Stable_witness.t
val type_equal : (t, (Raw.t, witness) t) Type_equal.t