Module Coqdeplib.Common

module State : sig ... end
val init : make_separator_hack:bool -> Args.t -> Boot.Env.maybe_env * State.t

init args Init coqdep, setting arguments from args.

val treat_file_command_line : State.t -> string -> State.t

treat_file_command_line file Add an input file to be considered

val sort : State.t -> unit
val compute_deps : State.t -> Dep_info.t list