X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fparser.mli;h=47cfb28aaee6f814d43d319c99e754a68e2b0256;hb=137e2373f8875992898f8be0e07c4299ffbf3516;hp=927506732d13e8c125769d28a4c3dcaf5696c6af;hpb=8b69a4c59242b64294c7065a4e85437ce3cbc32d;p=fireball-separation.git

diff --git a/ocaml/parser.mli b/ocaml/parser.mli
index 9275067..47cfb28 100644
--- a/ocaml/parser.mli
+++ b/ocaml/parser.mli
@@ -8,3 +8,9 @@ val problem_of_string:
   * Num.i_n_var list (* conv *)
   * Num.i_n_var list (* ps *)
   * string list (* names of free variables *)
+val from_file : string ->
+ (string (* problem label *)
+ * Num.i_var option (* div *)
+ * Num.i_n_var list (* conv *)
+ * Num.i_n_var list (* ps *)
+ * string list (* names of free variables *)) list