package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Parsing_error of string
type arg_source =
  1. | CmdLine
  2. | ProjectFile
type !'a sourced = {
  1. thing : 'a;
  2. source : arg_source;
}
type project = {
  1. project_file : string option;
  2. makefile : string option;
  3. install_kind : install option;
  4. use_ocamlopt : bool;
  5. v_files : string sourced list;
  6. mli_files : string sourced list;
  7. ml4_files : string sourced list;
  8. ml_files : string sourced list;
  9. mllib_files : string sourced list;
  10. mlpack_files : string sourced list;
  11. ml_includes : path sourced list;
  12. r_includes : (path * logic_path) sourced list;
  13. q_includes : (path * logic_path) sourced list;
  14. extra_args : string sourced list;
  15. defs : (string * string) sourced list;
  16. extra_targets : extra_target sourced list;
  17. subdirs : string sourced list;
}
and extra_target = {
  1. target : string;
  2. dependencies : string;
  3. phony : bool;
  4. command : string;
}
and logic_path = string
and path = {
  1. path : string;
  2. canonical_path : string;
}
and install =
  1. | NoInstall
  2. | TraditionalInstall
  3. | UserInstall
val cmdline_args_to_project : curdir:string -> string list -> project
val read_project_file : string -> project
val coqtop_args_from_project : project -> string list
val find_project_file : from:string -> projfile_name:string -> string option
val all_files : project -> string sourced list
val map_sourced_list : ('a -> 'b) -> 'a sourced list -> 'b list
val map_cmdline : ('a -> 'b) -> 'a sourced list -> 'b list
val filter_cmdline : 'a sourced list -> 'a list
val forget_source : 'a sourced -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct