ML bindings: list/array are now called z3array/z3list to avoid confusion.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>

src/api/ml/z3.ml

@@ -2670,7 +2670,3 @@ let global_param_reset_all =
 
 let toggle_warning_messages ( enabled: bool ) =
   Z3native.toggle_warning_messages enabled
-
-
-module Array = Z3Array
-module List = Z3List

src/api/ml/z3.mli

@@ -761,7 +761,7 @@ sig
 end
 
 (** Functions to manipulate Array expressions *)
-module Array :
+module Z3Array :
 sig
   (** Create a new array sort. *)
   val mk_sort : context -> Sort.sort -> Sort.sort -> Sort.sort
@@ -1093,7 +1093,7 @@ sig
 end
 
 (** Functions to manipulate List expressions *)
-module List :
+module Z3List :
 sig
   (** Create a new list sort. *)
   val mk_sort : context -> Symbol.symbol -> Sort.sort -> Sort.sort