Project

General

Profile

Download (359 Bytes) Statistics
| Branch: | Tag: | Revision:
1

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

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

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

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

    
20
node imp2(const n:int; a:int^n) returns (d:int^n);
(6-6/9)