loom

Форк
0
14 строк · 291.0 Байт
1
// Module interface declaration
2
interface Factorial : immutable {
3
    func factorial(int n) -> int f
4
    :    pure,
5
         pre    (n > 0),
6
         post   (f > 0 && f < 1000000)
7
}
8

9
// Defining module functions
10
func factorial(int n)
11
->   int
12
{
13
    return (n == 1) ? 1 : n*factorial(n-1)
14
}
15

16

Использование cookies

Мы используем файлы cookie в соответствии с Политикой конфиденциальности и Политикой использования cookies.

Нажимая кнопку «Принимаю», Вы даете АО «СберТех» согласие на обработку Ваших персональных данных в целях совершенствования нашего веб-сайта и Сервиса GitVerse, а также повышения удобства их использования.

Запретить использование cookies Вы можете самостоятельно в настройках Вашего браузера.