From 8839959fd05a04f2d37461ab842d23107b104d20 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 1 May 2026 10:56:10 +0100
Subject: add monotic counters, fix element binding case in app->for

---
 src/main.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
index a395db8..eb16b32 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -35,6 +35,9 @@ let set NatEdges = record {
   target: set-of(natGraph .Node),
   connected: set-of(natGraph .Edge source target)
 }
+
+let element s_val : FinTwo = zero. {}
+let element edge : set-of(natGraph .Edge s_val ( one. {} )) = true
 "#;
     let programme = parser::debug_parse(src);
 
-- 
cgit v1.3.1