Adapt the example Lin test to the new interface

Author: shym

doc/example/dune

@@ -3,7 +3,7 @@
 (executable
  (name lin_tests_dsl)
  (modules lin_tests_dsl)
- (libraries qcheck-lin))
+ (libraries qcheck-lin.domain))
 
 
 ;; A model-based test of the stdlib Hashtbl library

doc/example/lin_tests_dsl.ml

@@ -7,7 +7,7 @@ struct
   let init () = Hashtbl.create ~random:false 42
   let cleanup _ = ()
 
-  open Lin_api
+  open Lin_base
   let a,b = char_printable,nat_small
   let api =
     [ val_ "Hashtbl.add"    Hashtbl.add    (t @-> a @-> b @-> returning unit);
@@ -17,8 +17,8 @@ struct
       val_ "Hashtbl.length" Hashtbl.length (t @-> returning int); ]
 end
 
-module HT = Lin_api.Make(HashtblSig)
+module HT = Lin_domain.Make(HashtblSig)
 ;;
 QCheck_base_runner.run_tests_main [
-  HT.lin_test `Domain ~count:1000 ~name:"Hashtbl DSL test";
+  HT.lin_test ~count:1000 ~name:"Hashtbl DSL test";
 ]