¬

@SuppressWarnings(scala.Array.apply[java.lang.String]("ObjectNames")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
object ¬
Companion:
class
class Object
trait Matchable
class Any
¬.type

Implicits

Implicits

@implicitAmbiguous("Could not prove type ${A} is not (¬) ${A}")
implicit def ambiguousEvidence1[A]: A ¬ A
implicit def ambiguousEvidence2[A]: A ¬ A
implicit def defaultEvidence[A, B]: A ¬ B