Compilation project in OCamL