Module Lattice.V

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