Module Bounded_Lattice.V

val absorption : BL.t -> BL.t -> bool