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