* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*)
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*)
+val parse : unit -> (string * string) list * string list
+(** Parse the command line.
+ Returns two lists:
+ anon_vars = List of anonymous variable assignments.
+ targets = List of target expressions on the command line. *)
+
(** Get the name of the input Goalfile. *)
val debug : ('a, unit, string, unit) format4 -> 'a
(** If debugging is enabled (-d option) then print the formatted
output. If debugging was not enabled then nothing is printed. *)
(** Get the name of the input Goalfile. *)
val debug : ('a, unit, string, unit) format4 -> 'a
(** If debugging is enabled (-d option) then print the formatted
output. If debugging was not enabled then nothing is printed. *)