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