package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Coqdeplib.CommonSource

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 list