Implemented garbage in Num

[fireball-separation.git] / ocaml / simple.mli

diff --git a/ocaml/simple.mli b/ocaml/simple.mli
index 216e3810bb241679aa43734ceb38bade28b3fd7b..fba247092a39b9074941eff9319e7c40038f67a7 100644 (file)
--- a/ocaml/simple.mli
+++ b/ocaml/simple.mli
@@ -1,4 +1,6 @@
-(* type problem\r
-val problem_of : string -> string list -> problem\r
-val solve : problem -> unit *)\r
-val run : string -> string list -> unit\r
+type problem\r
+exception Fail of int * string\r
+val solve : problem -> unit\r
+val problem_of :\r
+  string * Num.i_var option * Num.i_n_var list * Num.i_n_var list *\r
+  string list -> problem\r