package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Coqdeplib.Common`Source

Sourcemodule State : sig ... end

Sourceval init : make_separator_hack:bool -> Args.t -> Boot.Env.maybe_env * State.t

init args Init coqdep, setting arguments from args.

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

treat_file_command_line file Add an input file to be considered

Sourceval sort : State.t -> unit

Sourceval compute_deps : State.t -> Dep_info.t Seq.t