+val prelude_sh_file : string
+(** Get the absolute path of the prelude.sh file. *)
+
+val input_file : unit -> string
+(** 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. *)
+
+val debug_flag : unit -> bool
+(** If debugging is enabled. *)