Up – bastet » Bastet » Test » Bool » M » Lattice » V

Module `Lattice.V`

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