open Types

(* Commandline args are stored in a global record
 * (yes, it is a bit dirty, but I don't know how to do this without passing
 * [args] to every function). *)
let args = {
  infile   = None;
  outfile  = None;
  verbose  = 1;
  cpp      = true;
  optimize = true;
  endphase = "";
}