X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems.mli;h=5315cc7903cf5325898edcfd71918385add6716f;hb=5664c5924f59c805c6e658698cc2fa535cab27f6;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=e4aa4a66dd0a4946607245a0f43eab803f2770c4;p=fireball-separation.git

diff --git a/ocaml/problems.mli b/ocaml/problems.mli
index e69de29..5315cc7 100644
--- a/ocaml/problems.mli
+++ b/ocaml/problems.mli
@@ -0,0 +1,4 @@
+val main :
+  (string * Num.i_var option * Num.i_n_var list * Num.i_n_var list *
+   string list -> unit) ->
+  unit