package rocq-runtime

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Coqdeplib.CommonSource

Sourcemodule StrSet : Set.S with type elt = string
Sourcemodule State : sig ... end
Sourceval init : make_separator_hack:bool -> Args.t -> State.t

init args Init coqdep, setting arguments from args.

Sourceval treat_file_command_line : string -> unit

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
OCaml

Innovation. Community. Security.