sig
  type 'a t = 'a -> 'a -> bool
  val poly : 'a CCEqual.t
  val int : int CCEqual.t
  val string : string CCEqual.t
  val bool : bool CCEqual.t
  val float : float CCEqual.t
  val unit : unit CCEqual.t
  val list : 'a CCEqual.t -> 'a list CCEqual.t
  val array : 'a CCEqual.t -> 'a array CCEqual.t
  val option : 'a CCEqual.t -> 'a option CCEqual.t
  val pair : 'a CCEqual.t -> 'b CCEqual.t -> ('a * 'b) CCEqual.t
  val triple :
    'a CCEqual.t -> 'b CCEqual.t -> 'c CCEqual.t -> ('a * 'b * 'c) CCEqual.t
  val map : ('a -> 'b) -> 'b CCEqual.t -> 'a CCEqual.t
  val ( >|= ) : 'b CCEqual.t -> ('a -> 'b) -> 'a CCEqual.t
  module Infix :
    sig val ( >|= ) : 'b CCEqual.t -> ('a -> 'b) -> 'a CCEqual.t end
end