it.unich.scalafix.lattice
A trait which contains low priority implicits to be mixed within Domain.
An implicit domain obtained by an ordering, taking the max to be the upper bound operator.
An implicit domain obtained by a partial ordering, taking the max (when it exists) to be the upper bound operator.
A trait which contains low priority implicits to be mixed within Domain.