From 8d9c0e5868b2a7fa22080f814357dcda69a10057 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 7 May 2026 11:50:06 +0100
Subject: add complete lifted sets

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

(limited to 'src/ast.rs')

diff --git a/src/ast.rs b/src/ast.rs
index 24c7125..9108b97 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -108,6 +108,9 @@ pub struct ElemAssign {
 
 #[derive(Clone, PartialEq, Display, Debug)]
 pub enum Element {
+    #[display{"element-of({_0})"}]
+    ClaimedElement(Box<Instance>),
+
     #[display("{_0}")]
     Literal(Literal),
 
-- 
cgit v1.3.1