Module Coqdeplib.Args

type t = {
  1. boot : bool;
  2. coqlib : string option;
  3. sort : bool;
  4. vos : bool;
  5. noglob : bool;
  6. ml_path : string list;
  7. vo_path : (bool * string * string) list;
  8. packages : string list;
  9. dyndep : string;
  10. worker : string option;
  11. files : string list;
}
val make : unit -> t
val usage : unit -> 'a
val parse : t -> string list -> t