Module Plus.V

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