From 4c0860f4c7a994eeb7fddb048d9ccdacfb274b2f Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 11 Feb 2024 21:14:49 -0800
Subject: [PATCH] Expose bundle form MapSet

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 Lattice/MapSet.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lattice/MapSet.agda b/Lattice/MapSet.agda
index 37b9e2c..c41de8c 100644
--- a/Lattice/MapSet.agda
+++ b/Lattice/MapSet.agda
@@ -12,7 +12,7 @@ private module UnitMap = Lattice.Map A ⊤ _≈₂_ _⊔₂_ _⊓₂_ ≡-dec-A
 open UnitMap using (Map)
 open UnitMap using
     ( _⊆_; _≈_; ≈-equiv; _⊔_; _⊓_
-    ; isUnionSemilattice; isIntersectSemilattice; isLattice
+    ; isUnionSemilattice; isIntersectSemilattice; isLattice; lattice
     ) public
 
 MapSet : Set a