sig

  type t
  val zero : Numbers.Int8.t
  val one : Numbers.Int8.t
  val of_int_exn : int -> Numbers.Int8.t
  val to_int : Numbers.Int8.t -> int
end