Create Main.ml