(** Global variables with runtime (input-based) values, used in multiple
    modules. *)

(** Values of command-line arguments, to be set by the {!Main} module. *)
val args : Types.args_record