Dataflow analyses only require that their domains implement
MeetSemiLattice. However, types that will be used as dataflow domains should implement both
so that they can be used with
Computes the greatest lower bound of two elements, storing the result in
self has changed.
The lattice meet operator is abbreviated as