před 6 měsíci · 4f17bed5a8
--- a/docs/prolet-dialect-typing.md
+++ b/docs/prolet-dialect-typing.md
@@ -237,7 +237,7 @@
 
				 
			
 
				 Требуется явное приведение:
			
 
				 
			
 
				-- `(как Пользователь x)` → с проверкой.
			
 
				+- `(тип х как Пользователь)` → с проверкой.
			
 
				 - Или — `(проверить-по-схеме ...)`.
			
 
				 
			
 
				 Фиксируется событие: