An overlay for the ocaml ml-ng Z3 binding.