From 7cd366e47346620f57120a933f6e0a72f4fe3e2f Mon Sep 17 00:00:00 2001
From: ChandanDebSan <129827473+ChandanDebSan@users.noreply.github.com>
Date: Tue, 16 Jan 2024 21:56:10 +0530
Subject: [PATCH] Mymodel

Best model ever written in alloy
---
 best-model-ever/mymodel.als | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 best-model-ever/mymodel.als

diff --git a/best-model-ever/mymodel.als b/best-model-ever/mymodel.als
new file mode 100644
index 0000000..333ff7a
--- /dev/null
+++ b/best-model-ever/mymodel.als
@@ -0,0 +1,3 @@
+pred foo[x:Int]{
+    x = 3
+}