Module Verify.Monoid_Any

Parameters

Signature

include sig ... end
module I : sig ... end
val identity : 'a M.t -> bool