typové ověření

• утверждение типа