/
niceSOFT
/
swig
Обзор
Документация
Войти
/
niceSOFT
/
swig
Код
Задачи
Вики
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
Examples/ocaml/contract/example.i
18 строк
259 B
Art Yerkes
Added contract example.
23 ноя 2003, 15:55
23 ноя 2003, 15:55
2e96036
Код
Авторство
О чём код?
%module example %{ #include <math.h> %} /* File : example.i */ %module example %contract cos(double d) { require: d >= -3.14159265358979323845254338327950; d < 3.14159265358979323846264338327950; ensure: cos >= -1.0; cos <= 1.0; } double cos(double d);