Project

General

Profile

Download (278 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(* Generated Lustre Interface file from generic2.lus *)
2
(* generated by Lustre-C compiler version 284, 2014/5/25, 15:2:30 *)
3
(* feel free to mask some of the nodes by removing them from this file. *)
4

    
5

    
6
const PI = 3;
7

    
8
node base (const p: int; x: int^(3*p)) returns (y: int^p);
9

    
10

    
(13-13/15)