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