function postcondition

постусловие функции (специальное условие, которые проверяется при выходе из функции Alex_Odeychuk)

: 2 phrases in 1 subject