Module Compare.Comonad

Parameters

• C : Interface.COMONAD
• E : Interface.EQ1 with type 'a t = 'a C.t

Signature

val identity : ('a E.t C.t -> 'a E.t) -> 'a E.t C.t -> bool