Module Verify.Plus

Parameters

Signature

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