From ff5a35cb529c93b1b94d55b43a7f692769f093d5 Mon Sep 17 00:00:00 2001
From: Fedor Vikhnin <fvixnin@gmail.com>
Date: Sat, 16 Nov 2024 12:16:21 +0300
Subject: [PATCH] small refactor

---
 internal/tlmodel/README.md     | 2 +-
 internal/tlmodel/src/Types.ard | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/internal/tlmodel/README.md b/internal/tlmodel/README.md
index 588deaa..8e644fe 100644
--- a/internal/tlmodel/README.md
+++ b/internal/tlmodel/README.md
@@ -4,7 +4,7 @@
 * В данной модели нет _Boxed_ на момент написания этого файла (13.11.24)
 * Для описания типа создайте объект типа `TLType` (разница между union-type и обычными типа лишь в количестве конструкторов)
 
-Пример для `pair {X: Type} {Y: Type} left:X property:Y = Pair;`:
+Пример для `pair {X: Type} {Y: Type} left:X right:Y = Pair;`:
 ```haskell
 \func TLPair : TLType => \new TLType {
   | typeHeader => tl-new-type 1 (^Type :: (^Type :: nil))
diff --git a/internal/tlmodel/src/Types.ard b/internal/tlmodel/src/Types.ard
index 9a1ce25..f62c751 100644
--- a/internal/tlmodel/src/Types.ard
+++ b/internal/tlmodel/src/Types.ard
@@ -67,7 +67,7 @@
   | nonEmpty => contradiction
 }
 -- struct f1:# f2:f1.0?# f3:f2.31?# = Struct;
-\func TlNikitaStruct : TLType => \new TLType {
+\func TLStructWithDependentFields : TLType => \new TLType {
   | typeHeader => tl-new-type 4 nil
   | constructorsCount => 1
   | constructors =>
@@ -104,7 +104,7 @@
 
 -- struct f1:int f2:f1.0?# = Struct;
 \func NonTLStruct : TLType => \new TLType {
-  | typeHeader => tl-new-type 1488 nil
+  | typeHeader => tl-new-type 5 nil
   | constructorsCount => 1
   | constructors =>
     (\new TLConstructor {