------------------------------------------------------------------------ -- The Agda standard library -- -- This module is DEPRECATED. Please use -- `Algebra.Lattice.Properties.Semilattice` instead. ------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} open import Algebra.Lattice module Algebra.Properties.Semilattice {c ℓ} (L : Semilattice c ℓ) where open import Algebra.Lattice.Properties.Semilattice L public {-# WARNING_ON_IMPORT "Algebra.Properties.Semilattice was deprecated in v2.0. Use Algebra.Lattice.Properties.Semilattice instead." #-}