-(* 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
+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