From 109a8aad137188ccb4f488bb73b3c1037298d162 Mon Sep 17 00:00:00 2001
From: Antoine Viallon <antoine@lesviallon.fr>
Date: Tue, 23 May 2023 00:50:11 +0200
Subject: [PATCH] utils: init with implies implementation

---
 compiler/utils.py | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 compiler/utils.py

diff --git a/compiler/utils.py b/compiler/utils.py
new file mode 100644
index 0000000..1f562a5
--- /dev/null
+++ b/compiler/utils.py
@@ -0,0 +1,2 @@
+def implies(a: bool, b: bool) -> bool:
+    return (not b and not a) or b