преди 7 месеца · 0b7f00ca05
--- a/docs/prolet-dialect-typing.md
+++ b/docs/prolet-dialect-typing.md
@@ -161,7 +161,7 @@
 
				 
			
 
				 ```list
			
 
				 (если (проба-из дата к Схема.Пользователь)
			
 
				-    тогда (фикс х (= привести-из дата к Пользователь)
			
 
				+    тогда (фикс х (= привести-из дата к Схема.Пользователь)
			
 
				     иначе (ошибка "ожидалось число"))
			
 
				 ```