Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #131191 - nnethercote:lattice_op, r=lcnr
Merge `glb` and `lub` modules
Tons of code is duplicated across them, and it's easy to factor that out.
r? `@lcnr`