This member is added by an implicit conversion from NotIn[Left, Set] to
any2stringadd[NotIn[Left, Set]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from NotIn[Left, Set] to
StringFormat[NotIn[Left, Set]] performed by method StringFormat in scala.Predef.
Proves that the first type is NOT a component of the tuple given as the second type