Procházet zdrojové kódy

SVI Исправления

SVI před 6 měsíci
rodič
revize
ba1bc49273
1 změnil soubory, kde provedl 2 přidání a 2 odebrání
  1. 2 2
      docs/prolet-dialect-typing.md

+ 2 - 2
docs/prolet-dialect-typing.md

@@ -238,11 +238,11 @@
 Требуется явное приведение:
 
 - `(тип х как Пользователь)` → с проверкой.
-- Или — `(проверить-по-схеме ...)`.
+- Или — `(проба-из ... как Схема.ХХХ)`.
 
 Фиксируется событие:
 
-- В лог: `(шлюз открыт: внешний-API)` (по умолчанию активно).
+- В лог: `(@шлюз @лог-откл)` (по умолчанию активно).
 - В граф жизненного цикла — новая ветвь анализа.
 
 ## Психологические и педагогические механизмы