Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / arrays_arnaud / dummy_lib.lusi @ a6c265f5

History | View | Annotate | Download (358 Bytes)

1
node test(x:int) returns (t:int^2);
2

    
3
function _MatMul_real (
4
	const n, m, p : int ;
5
	in1 : real^n^m ;
6
	in2 : real^m^p)
7
returns (
8
	out : real^n^p) ;
9

    
10
function _Vect_Leqt_real (
11
	const n : int ;
12
	in : real^n ;
13
	in2 : real^n)
14
returns (
15
	out : bool^n) ;
16

    
17
node imp1(const m:int; a:int^(3*m)) returns (c:int^m);
18

    
19
node imp2(const n:int; a:int^n) returns (d:int^n);