`include Core_kernel.Validated.S with type raw := int`
`type ('raw, 'witness) validated`````
`type witness`````
`type raw`````
`type t``= (raw, witness) validated```
`include sig ... end`
`val t_of_sexp : Base.Sexp.t ‑> t`
`val sexp_of_t : t ‑> Base.Sexp.t`
`val create : raw ‑> t Core_kernel.Or_error.t`
`val create_exn : raw ‑> t`
`val raw : t ‑> raw`
`include Core_kernel.Equal.S with type t := t`
`type t`````
`val equal : t Core_kernel.Equal.equal`
`val default : t`