module type Arg =sig..end
type t
val to_int : t -> intto_int t must be >= 0, otherwise create_ok will raise.val of_int_exn : int -> t
val compare : t -> t -> int
val sexp_of_t : t -> Sexplib.Sexp.tto_int t must be >= 0, otherwise create_ok will raise.