CristalCaveGem » LustreC » Lustrec-Tests

(* Generated Lustre Interface file from test2.lus *)

(* by Lustre-C compiler version 1.5-     837-master, 2018/9/28, 06:01:24 *)

(* Feel free to mask some of the definitions by removing them from this file. *)

type toto = enum {Up, Down };

const titi = [1,2];