From 212da586160c25fd919a308e5fbe30c9b5e565ca Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 20 Dec 2022 19:07:51 +0100
Subject: lib: add on

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

(limited to 'lib')

diff --git a/lib/default.nix b/lib/default.nix
index 149b97a72..1a57df266 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -39,6 +39,8 @@ let
     ne = x: y: x != y;
     mod = x: y: x - y * (x / y);
 
+    on = b: u: x: y: b (u x) (u y);
+
     genid = lib.genid_uint32; # TODO remove
     genid_uint31 = x: ((lib.genid_uint32 x) + 16777216) / 2;
     genid_uint32 = import ./genid.nix { inherit lib; };
-- 
cgit v1.2.3