include Core_kernel.Validated.S with type raw := int
type t = ('a, 'b) Core_kernel.Validated.t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val create : int -> t Core_kernel.Or_error.t
val create_exn : int -> t
val raw : t -> int
include Core_kernel.Equal.S with type t := t
val equal : t Core_kernel.Equal.equal
val default : t