Module Bounded_Lattice.V

val absorption : Bool.Bounded_Lattice.t -> Bool.Bounded_Lattice.t -> bool