    ------------------------------------------------------------------------
    -- The Agda standard library
    --
    -- This module is DEPRECATED.
    ------------------------------------------------------------------------

    {-# OPTIONS --cubical-compatible --safe #-}

    open import Algebra.Lattice.Bundles using (BooleanAlgebra)

    module Algebra.Properties.BooleanAlgebra.Expression
      {b} (B : BooleanAlgebra b b)
      where

    {-# WARNING_ON_IMPORT
    "Algebra.Properties.BooleanAlgebra.Expression was deprecated in v2.0.
    Use Algebra.Lattice.Properties.BooleanAlgebra.Expression instead."
    #-}

    open import Algebra.Lattice.Properties.BooleanAlgebra.Expression