From 7e88e1b10aae7fcaa23eaaac3373b327635a0466 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Fri, 3 Apr 2026 10:05:23 +0000
Subject: [PATCH] struct args synt: todo chenge

---
 model_with_structures/model.typ | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/model_with_structures/model.typ b/model_with_structures/model.typ
index 428e355..c3aad96 100644
--- a/model_with_structures/model.typ
+++ b/model_with_structures/model.typ
@@ -208,8 +208,6 @@ $d space @ space overline(x)$ - запись применения функции
 // TODO: FIXME: define argtag operation
 #let argtag = `argtag`
 
-// TODO: FIXME: define addpaths operation: ~>
-
 // FIXME
 #align(center, prooftree(
   vertical-spacing: 4pt,
@@ -226,6 +224,18 @@ $d space @ space overline(x)$ - запись применения функции
 
 #h(10pt)
 
+// TODO: FIXME: define addpaths operation: ~>
+// #align(center, prooftree(
+//   vertical-spacing: 4pt,
+//   rule(
+//     name: [ add paths init],
+
+//     $mu stretch(~>)^nothing_(cl sigma, mu cr) mu$,
+//   )
+// ))
+
+#h(10pt)
+
 #align(center, prooftree(
   vertical-spacing: 4pt,
   rule(
@@ -299,8 +309,6 @@ $d space @ space overline(x)$ - запись применения функции
 
 #h(10pt)
 
-// TODO: special operation to add all paths one by one ??
-
 #align(center, prooftree(
   vertical-spacing: 4pt,
   rule(