type ('raw, 'witness) validated
type witness
type raw
type t
= (raw, witness) validated
include sig ... end
val t_of_sexp : Sexplib.Sexp.t ‑> t
val sexp_of_t : t ‑> Sexplib.Sexp.t
val create : raw ‑> t Core_kernel.Or_error.t
val create_exn : raw ‑> t
val raw : t ‑> raw