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.
A trait which contains low priority implicits to be mixed within Domain.