package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Names = Ser_names
type library_location = Loadpath.library_location =
  1. | LibLoaded
  2. | LibInPath
val library_location_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> library_location
val sexp_of_library_location : library_location -> Ppx_sexp_conv_lib.Sexp.t
type add_ml = Loadpath.add_ml =
  1. | AddNoML
  2. | AddTopML
  3. | AddRecML
val add_ml_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> add_ml
val sexp_of_add_ml : add_ml -> Ppx_sexp_conv_lib.Sexp.t
type vo_path_spec = Loadpath.vo_path_spec = {
  1. unix_path : string;
  2. coq_path : Names.DirPath.t;
  3. implicit : bool;
  4. has_ml : add_ml;
}
val vo_path_spec_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> vo_path_spec
val sexp_of_vo_path_spec : vo_path_spec -> Ppx_sexp_conv_lib.Sexp.t
type coq_path_spec = Loadpath.coq_path_spec =
  1. | VoPath of vo_path_spec
  2. | MlPath of string
val coq_path_spec_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> coq_path_spec
val sexp_of_coq_path_spec : coq_path_spec -> Ppx_sexp_conv_lib.Sexp.t
type coq_path = Loadpath.coq_path = {
  1. path_spec : coq_path_spec;
  2. recursive : bool;
}
val coq_path_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> coq_path
val sexp_of_coq_path : coq_path -> Ppx_sexp_conv_lib.Sexp.t
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