fix unfolding

jespercockx · Jul 27, 2024 · c0a1f41 · c0a1f41
1 parent e46a72d
commit c0a1f41
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Scope/All.agda b/src/Scope/All.agda
@@ -137,7 +137,8 @@ opaque
   {-# COMPILE AGDA2HS allLookup #-}
 
 opaque
-  unfolding All lookupAll mapAll
+  unfolding All findAll lookupAll lookupHere lookupThere
+  unfolding mapAll tabulateAll allIn rezzAll allInScope allLookup
 
   AllThings : Set₁
   AllThings = Set