(** Global variables with runtime values, used in multiple modules. *) (** Values of command-line arguments, to be set by the [Main] module. *) val args : Types.args_record
