Coqdeplib.Common
module State : sig ... end
val init : make_separator_hack:bool -> Args.t -> State.t
init args Init coqdep, setting arguments from args.
init args
args
val treat_file_command_line : State.t -> string -> State.t
treat_file_command_line file Add an input file to be considered
treat_file_command_line file
val sort : State.t -> unit
val compute_deps : State.t -> Dep_info.t list