Update README.md in model

VKCOM · Nov 13, 2024 · bb23b1a · bb23b1a
1 parent 522140e
commit bb23b1a
Showing 1 changed file with 2 additions and 2 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))
@@ -35,4 +35,4 @@
 }
 ```
 
-Другие примеры лежат в `src/Types.ard`. Также там есть пример не выводимой в тле конструкции (которая не компилиться в Arend)
+Другие примеры лежат в `src/Types.ard`. Также там есть пример не выводимой в тле конструкции (которая не компилиться в Arend)