advxml core/advxml/=:!=

=:!=

@implicitNotFound(msg = "Cannot prove that ${A} =:!= ${B}.")
sealed trait =:!=[A, B]
Companion:
object
class Object
trait Matchable
class Any