Module Lattice.V

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