mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
More new ML API.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
8d30fabc0a
commit
d5f135c432
|
@ -1,3 +1,4 @@
|
|||
<<<<<<< HEAD
|
||||
(* File generated from z3.idl *)
|
||||
|
||||
type context
|
||||
|
@ -3383,3 +3384,16 @@ let set_new_relevant_callback th cb =
|
|||
|
||||
end
|
||||
|
||||
=======
|
||||
(*
|
||||
Author: CM Wintersteiger
|
||||
(C) Microsoft Research, 2012
|
||||
*)
|
||||
|
||||
open Z3enums
|
||||
open Z3native
|
||||
|
||||
module Z3 = struct
|
||||
|
||||
end
|
||||
>>>>>>> More new ML API.
|
||||
|
|
Loading…
Reference in a new issue