package rocq-runtime

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

Module Coqdeplib.ArgsSource

Sourcetype t = {
  1. boot : bool;
  2. sort : bool;
  3. vos : bool;
  4. noglob : bool;
  5. ml_path : string list;
  6. vo_path : (bool * string * string) list;
  7. dyndep : string;
  8. worker : string option;
  9. files : string list;
}
Sourceval make : unit -> t
Sourceval usage : unit -> 'a
Sourceval parse : t -> string list -> t
OCaml

Innovation. Community. Security.