Up – bastet » Bastet__Verify » Comonad

Module `Bastet__Verify.Comonad`

Parameters

C : Bastet.Interface.COMONAD

Signature

include sig ... end

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