sig
  type t = int
  val compare : CCInt.t -> CCInt.t -> int
  val equal : CCInt.t -> CCInt.t -> bool
  val hash : CCInt.t -> int
  val sign : CCInt.t -> int
  val neg : CCInt.t -> CCInt.t
  val pow : CCInt.t -> CCInt.t -> CCInt.t
  type 'a printer = Buffer.t -> 'a -> unit
  type 'a formatter = Format.formatter -> 'a -> unit
  type 'a random_gen = Random.State.t -> 'a
  val random : int -> CCInt.t CCInt.random_gen
  val random_small : CCInt.t CCInt.random_gen
  val random_range : int -> int -> CCInt.t CCInt.random_gen
  val pp : CCInt.t CCInt.printer
  val print : CCInt.t CCInt.formatter
  val to_string : CCInt.t -> string
  val of_string : string -> CCInt.t option
  val print_binary : CCInt.t CCInt.formatter
  val to_string_binary : CCInt.t -> string
  val min : CCInt.t -> CCInt.t -> CCInt.t
  val max : CCInt.t -> CCInt.t -> CCInt.t
  module Infix :
    sig
      val ( = ) : CCInt.t -> CCInt.t -> bool
      val ( <> ) : CCInt.t -> CCInt.t -> bool
      val ( < ) : CCInt.t -> CCInt.t -> bool
      val ( > ) : CCInt.t -> CCInt.t -> bool
      val ( <= ) : CCInt.t -> CCInt.t -> bool
      val ( >= ) : CCInt.t -> CCInt.t -> bool
    end
  val ( = ) : t -> t -> bool
  val ( <> ) : t -> t -> bool
  val ( < ) : t -> t -> bool
  val ( > ) : t -> t -> bool
  val ( <= ) : t -> t -> bool
  val ( >= ) : t -> t -> bool
end