src/TODO

src/getEff.ml

src/predef.ml

src/predefSemantics.ml

src/test/should_work/NONREG/Int.lus

src/test/should_work/demo/Gyroscope2.lus

src/test/should_work/demo/map_red_iter.lus

src/test/should_work/fab_test/iter.lus

src/test/should_work/fab_test/iterate.lus

src/test/should_work/lionel/arrays.lus

src/test/should_work/lionel/deSimone.lus

src/test/should_work/lionel/normal.lus

src/test/should_work/lionel/pipeline.lus

src/test/should_work/lionel/testSilus.lus

src/test/should_work/lionel/triSel.lus

...rk/packEnvTest/contractForElementSelectionInArray/tri.lus

src/test/test.res.exp