Module Bastet__Verify.Category

Parameters

Signature

include sig ... end
module I : sig ... end
val identity : ('a, 'b) C.t -> bool