1 files changed, 3 insertions, 0 deletions
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);