From 54c6d3166c4c0f9464fbfd317eb03d164978277c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Mon, 1 Dec 2025 11:22:23 +0100
Subject: lib: remove with usage

---
 lib/default.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib/default.nix')

diff --git a/lib/default.nix b/lib/default.nix
index 76eb693..d6024bc 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -1,5 +1,6 @@
-final: _:
-with final; {
+final: _: let
+  inherit (final) pow foldl genList id reverseList bitAnd pow2 length add zipListsWith;
+in {
   # Generic power of number
   pow = base: e:
     if e == 0
-- 
cgit v1.2.3