sig   type t = int   val pp : Format.formatter -> Usane.Uint8.t -> unit   val of_int : int -> Usane.Uint8.t   val add : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool   val mul : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool   val sub : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool   val succ : Usane.Uint8.t -> Usane.Uint8.t * bool   val pred : Usane.Uint8.t -> Usane.Uint8.t * bool   val compare : Usane.Uint8.t -> Usane.Uint8.t -> int   val ( + ) : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool   val ( - ) : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool   val ( * ) : Usane.Uint8.t -> Usane.Uint8.t -> Usane.Uint8.t * bool   val ( < ) : Usane.Uint8.t -> Usane.Uint8.t -> bool   val ( <= ) : Usane.Uint8.t -> Usane.Uint8.t -> bool   val ( > ) : Usane.Uint8.t -> Usane.Uint8.t -> bool   val ( >= ) : Usane.Uint8.t -> Usane.Uint8.t -> bool end