Plus.V
module I : sig ... end
val annihalation : ('a -> 'b) -> bool
val identity : 'a Bastet.Option.Plus.t -> bool