Examples/ocaml/contract/example.i


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

%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);