sig
  type nativeint
  val zero : Nativeint.nativeint
  val minus_one : Nativeint.nativeint
  val neg : Nativeint.nativeint -> Nativeint.nativeint
  val add : Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val sub : Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val mul : Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val div : Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val rem : Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val succ : Nativeint.nativeint -> Nativeint.nativeint
  val pred : Nativeint.nativeint -> Nativeint.nativeint
  val abs : Nativeint.nativeint -> Nativeint.nativeint
  val size : int
  val max_int : Nativeint.nativeint
  val min_int : Nativeint.nativeint
  val logand :
    Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val logor :
    Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val logxor :
    Nativeint.nativeint -> Nativeint.nativeint -> Nativeint.nativeint
  val lognot : Nativeint.nativeint -> Nativeint.nativeint
  val shift_left : Nativeint.nativeint -> int -> Nativeint.nativeint
  val shift_right : Nativeint.nativeint -> int -> Nativeint.nativeint
  val shift_right_logical : Nativeint.nativeint -> int -> Nativeint.nativeint
  val of_int : int -> Nativeint.nativeint
  val to_int : Nativeint.nativeint -> int
  val of_float : float -> Nativeint.nativeint
  val to_float : Nativeint.nativeint -> float
  val of_int32 : Int32.int32 -> Nativeint.nativeint
  val to_int32 : Nativeint.nativeint -> Int32.int32
  val of_string : string -> Nativeint.nativeint
  val to_string : Nativeint.nativeint -> string
  type t = Nativeint.nativeint
  val compare : Nativeint.t -> Nativeint.t -> int
  val format : string -> Nativeint.nativeint -> string
end