/tags/Root-branch-php-utl/SWIG/Examples/ocaml/contract/example.i
# · Swig · 18 lines · 14 code · 3 blank · 1 comment · 0 complexity · 36ce588b98f03a599ad975772e04cb6b MD5 · raw file
- %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);