Up – bastet » Bastet__Test » Bool » Lattice » V

Module `Lattice.V`

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