Verify.Bounded_Lattice
L : Interface.BOUNDED_LATTICE
include sig ... end
val absorption : L.t -> L.t -> bool