Up – bastet » Bastet » Verify » Category

Module `Verify.Category`

Parameters

C : Interface.CATEGORY

Signature

include sig ... end

module I : sig ... end

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