sig
  val ( + ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( - ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( * ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( / ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( mod ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( land ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( lor ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( lxor ) : Unsigned.S.t -> Unsigned.S.t -> Unsigned.S.t
  val ( lsl ) : Unsigned.S.t -> int -> Unsigned.S.t
  val ( lsr ) : Unsigned.S.t -> int -> Unsigned.S.t
end