Up – bastet » Bastet » Verify » Comonad

Module `Verify.Comonad`

Parameters

C : Interface.COMONAD

Signature

include sig ... end

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