Coqdeplib.Args
type t = {
boot : bool;
sort : bool;
vos : bool;
noglob : bool;
ml_path : string list;
vo_path : (bool * string * string) list;
dyndep : string;
worker : string option;
files : string list;
}
val make : unit -> t
val usage : unit -> 'a
val parse : t -> string list -> t