From b6568704f0c569a14f28acbe4b49af03706977e5 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Wed, 20 May 2026 14:03:03 +0000
Subject: [PATCH] struct: model: fix tfunceval rule header

---
 model_with_structures/model.typ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model_with_structures/model.typ b/model_with_structures/model.typ
index 85756ca..8d989b7 100644
--- a/model_with_structures/model.typ
+++ b/model_with_structures/model.typ
@@ -1492,7 +1492,7 @@ $action$ - действия, совершаемые с примитивным з
 #align(center, prooftree(
   vertical-spacing: 4pt,
   rule(
-    name: [ new reference copy value],
+    name: [ function evaluation],
 
     // NOTE: dashed arrow to fill context
     $cl types_0, vals_0,  mu_0 cr