CristalCaveGem » LustreC

#open "dummy_lib"

type choice = enum { one, two };

type entier = int;

const PI = 3;

const tab = [1.,2.,3.,4.];

const M1 = [ [ 2.1 ], [ 1.0 ], [ 3.0 ], [ 4.2 ] ] ;

const M2 = [ [ 1.1, 2.2, 1.0, 1.0 ] ] ;

node mult(

     in1 : real^4^1)

returns (

     out : real^1^1)

var l,p;

let

  l = [ tab, [3.,4.,5.,6.] ];

  p = l + [tab,tab+[3.,4.,5.,6.]];

  out = _MatMul_real (1,4,1,[ [ 2.1 ], [ 1.0 ], [ 3.0 ], [ 4.2 ] ], in1);

tel

node base(const p:int; x:int^(PI*p)) returns (y:int^p)

var z:int^(PI*p);

let

  z = imp2(PI*p, x);

  y = imp1(p, z);

tel