val nr_jobs : unit -> int
(** Number of jobs (-j option). *)
+val keep_going : unit -> bool
+(** Keep-going mode (-k option). *)
+
+val silent : unit -> bool
+(** Silent operation (-s option). *)
+
val use_prelude : unit -> bool
(** True if we should load the prelude, or false if --no-prelude. *)