package coq-lsp

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

Module Serlib.Ser_libobjectSource

Sourcemodule Names = Ser_names
Sourcemodule Mod_subst = Ser_mod_subst
Sourcemodule CString : sig ... end
Sourcetype _open_filter =
  1. | Unfiltered
  2. | Filtered of CString.Pred.t
Sourceval _open_filter_of_sexp : Sexplib0.Sexp.t -> _open_filter
Sourceval sexp_of__open_filter : _open_filter -> Sexplib0.Sexp.t
Sourceval _t_put : 'a -> 'b
Sourceval _t_get : 'a -> 'b
Sourcetype open_filter = Libobject.open_filter
Sourceval open_filter_of_sexp : Sexplib0.Sexp.t -> 'a
Sourceval sexp_of_open_filter : 'a -> Sexplib0.Sexp.t
Sourcemodule Dyn : sig ... end
Sourcetype obj = Dyn.t
Sourceval obj_of_sexp : Sexplib0.Sexp.t -> obj
Sourceval sexp_of_obj : obj -> Sexplib0.Sexp.t
Sourcemodule ExportObj : sig ... end
Sourcetype algebraic_objects = Libobject.algebraic_objects =
  1. | Objs of t list
  2. | Ref of Names.ModPath.t * Mod_subst.substitution
Sourceand t = Libobject.t =
  1. | ModuleObject of Names.Id.t * substitutive_objects
  2. | ModuleTypeObject of Names.Id.t * substitutive_objects
  3. | IncludeObject of algebraic_objects
  4. | KeepObject of Names.Id.t * t list
  5. | EscapeObject of Names.Id.t * t list
  6. | ExportObject of ExportObj.t
  7. | AtomicObject of obj
Sourceand substitutive_objects = Names.MBId.t list * algebraic_objects
Sourceval algebraic_objects_of_sexp : Sexplib0.Sexp.t -> algebraic_objects
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval substitutive_objects_of_sexp : Sexplib0.Sexp.t -> substitutive_objects
Sourceval sexp_of_algebraic_objects : algebraic_objects -> Sexplib0.Sexp.t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval sexp_of_substitutive_objects : substitutive_objects -> Sexplib0.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