Module Workspace.SetupSource

Sourcetype t = {
  1. vo_load_path : Loadpath.vo_path list;
  2. ml_include_path : string list;
  3. options : (Goptions.option_name * Coqargs.option_command) list;
    (*

    This includes warnings

    *)
}