fix(engine): add constraint to OCaml version

Author: W95Psp

engine/dune-project

@@ -20,7 +20,7 @@
  (synopsis "The engine of hax, a Rust verification tool")
  (description "Hax is divided in two: a frontend (written in Rust) and an engine (written in OCaml). This is the engine.")
  (depends
-        ocaml
+        (ocaml (>= "4.14.1"))
         dune
         (base                (= "0.16"))
         (core                (= "0.16"))

engine/hax-engine.opam

@@ -11,7 +11,7 @@ homepage: "https://github.com/hacspec/hax"
 doc: "https://hacspec.org/hax/"
 bug-reports: "https://github.com/hacspec/hax/issues"
 depends: [
-  "ocaml"
+  "ocaml" {>= "4.14.1"}
   "dune" {>= "3.0"}
   "base" {= "0.16"}
   "core" {= "0.16"}