module B.Prelude.BooleanAlgebra where

import Algebra
open Algebra
  using (BooleanAlgebra)
  public
open Algebra.BooleanAlgebra ⦃...⦄
  using (_∧_; _∨_; ¬_; ⊤; ⊥)
  public