sig
  type 'a t = 'a -> 'a -> int
  val compare : 'a CCOrd.t
  val opp : 'a CCOrd.t -> 'a CCOrd.t
  val equiv : int -> int -> bool
  val int : int CCOrd.t
  val string : string CCOrd.t
  val bool : bool CCOrd.t
  val float : float CCOrd.t
  val ( <?> ) : int -> 'a CCOrd.t * 'a * 'a -> int
  val option : 'a CCOrd.t -> 'a option CCOrd.t
  val pair : 'a CCOrd.t -> 'b CCOrd.t -> ('a * 'b) CCOrd.t
  val triple :
    'a CCOrd.t -> 'b CCOrd.t -> 'c CCOrd.t -> ('a * 'b * 'c) CCOrd.t
  val list : 'a CCOrd.t -> 'a list CCOrd.t
  val array : 'a CCOrd.t -> 'a array CCOrd.t
  val map : ('a -> 'b) -> 'b CCOrd.t -> 'a CCOrd.t
  val ( >|= ) : 'b CCOrd.t -> ('a -> 'b) -> 'a CCOrd.t
  module Infix :
    sig
      val ( <?> ) : int -> 'a CCOrd.t * 'a * 'a -> int
      val ( >|= ) : 'b CCOrd.t -> ('a -> 'b) -> 'a CCOrd.t
    end
end