sig
  val ( <?> ) : int -> 'CCOrd.t * 'a * '-> int
  val ( >|= ) : 'CCOrd.t -> ('-> 'b) -> 'CCOrd.t
end