small refactor

VKCOM · Nov 16, 2024 · ff5a35c · ff5a35c
1 parent 522140e
commit ff5a35c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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 {