···

       
7
       
7
       
 
       
  z3,

     

       
8
       
8
       
 
       
}:

     

       
9
       
9
       
 
       


     

       
10
       
10
       
-
       
if lib.versionOlder ocaml.version "4.07" then

     

       
10
       
10
       
+
       
if lib.versionOlder ocaml.version "4.08" then

     

       
11
       
11
       
 
       
  throw "z3 is not available for OCaml ${ocaml.version}"

     

       
12
       
12
       
 
       
else

     

       
13
       
13