[stdlib] Rename theory to more precise name DataSetClassification.

src/saver.ml

@@ -32,7 +32,9 @@ type interpreted_task = {
 }
 
 let find_predicate_ls env p =
-  let dataset_th = Pmodule.read_module env [ "caisar" ] "DataSet" in
+  let dataset_th =
+    Pmodule.read_module env [ "caisar" ] "DataSetClassification"
+  in
   Theory.ns_find_ls dataset_th.mod_theory.th_export [ p ]
 
 let interpret_predicate env ls =

stdlib/caisar.mlw

@@ -38,7 +38,7 @@ theory Model
   function predict: model -> array t -> int
 end
 
-theory DataSet
+theory DataSetClassification
   use ieee_float.Float64
   use int.Int
   use array.Array

tests/simple_ovo.t

@@ -30,8 +30,7 @@ Test verify
   >   use TestSVM.SVMasArray
   >   use ieee_float.Float64
   >   use int.Int
-  >   use array.Array
-  >   use caisar.DataSet
+  >   use caisar.DataSetClassification
   > 
   >   goal G: robust svm_apply dataset (8.0:t)
   >   goal H: correct svm_apply dataset (8.0:t)