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
  val ( -- ) : CCInt.t -> CCInt.t -> CCInt.t CCInt.sequence
  val ( --^ ) : CCInt.t -> CCInt.t -> CCInt.t CCInt.sequence
end