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