Append the eaten arg + leftmost order in find_eta_difference

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

diff --git a/ocaml/simple.mli b/ocaml/simple.mli
index d914117dd2e2089688ee7c6b2656b86981a902f2..bdc632827889ffe4136c179ae95001f1f1854e92 100644 (file)
--- a/ocaml/simple.mli
+++ b/ocaml/simple.mli
@@ -1 +1,5 @@
-val solve : string -> string list -> unit\r
+type problem\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