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