Module Compare.Comonad

Parameters

• C : Bastet.Interface.COMONAD
• E : Bastet.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