| In practice, compilers are likely to display a warning, then assume int and continue translating the program. |
На практике же, компиляторы могли определять неуказание, но также допускали, что это int и продолжали компиляцию программы. |
| We can find an effective enumeration of all the formal proofs in S by some procedure function NthProof(int n) which takes as input n and outputs some proof. |
Рассмотрим программу, реализующую эффективное перечисление всех формальных доказательств в s {\displaystyle \mathbf {s}} function NthProof(int n) принимающую на вход n и выдающую некоторое доказательство. |
| Ours ORMESTEX TOPPER Was shown on 2x INT DOG SHOW. |
Наш ORMESTEX TOPPER был показан на 2х INT DOG SHOW. |
| The type F is a function that takes an Int and a String as arguments, and returns a value of type Float. |
Тип F - это функция, которая принимает Int и String как аргументы и возвращает Float как результат. |
| Extended opponent info. If server sends such info, INT, DEX, Mana, Stamina and Armor Class now displayed. |
Расширено инфо опонента - там где раньше показывалось только здоровье, показывается INT, DEX, Mana, Stamina и Armor Class, если сервер такую информацию предоставляет. |