package coq-lsp

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

Module Serlib.Ser_nativevaluesSource

Sourcemodule Names = Ser_names
Sourcemodule Evar = Ser_evar
Sourcemodule Sorts = Ser_sorts
Sourcemodule Constr = Ser_constr
Sourcemodule Univ = Ser_univ
Sourcemodule UVars = Ser_uvars
Sourcemodule NVI : sig ... end
include sig ... end
Sourcetype t = NVI.t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval hash_fold_t : t Base__Ppx_hash_lib.hash_fold
Sourceval hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare : t Base__Ppx_compare_lib.compare
Sourcetype tag = int
Sourceval tag_of_sexp : Sexplib0.Sexp.t -> tag
Sourceval sexp_of_tag : tag -> Sexplib0.Sexp.t
Sourcetype arity = int
Sourceval arity_of_sexp : Sexplib0.Sexp.t -> arity
Sourceval sexp_of_arity : arity -> Sexplib0.Sexp.t
Sourcetype reloc_table = (tag * arity) array
Sourceval reloc_table_of_sexp : Sexplib0.Sexp.t -> reloc_table
Sourceval sexp_of_reloc_table : reloc_table -> Sexplib0.Sexp.t
Sourcetype annot_sw = Nativevalues.annot_sw = {
  1. asw_ind : Names.inductive;
  2. asw_reloc : reloc_table;
  3. asw_finite : bool;
  4. asw_prefix : string;
}
Sourceval annot_sw_of_sexp : Sexplib0.Sexp.t -> annot_sw
Sourceval sexp_of_annot_sw : annot_sw -> Sexplib0.Sexp.t
Sourcetype symbol = Nativevalues.symbol =
  1. | SymbValue of t
  2. | SymbSort of Sorts.t
  3. | SymbName of Names.Name.t
  4. | SymbConst of Names.Constant.t
  5. | SymbMatch of annot_sw
  6. | SymbInd of Names.inductive
  7. | SymbEvar of Evar.t
  8. | SymbInstance of UVars.Instance.t
  9. | SymbProj of Names.inductive * int
Sourceval symbol_of_sexp : Sexplib0.Sexp.t -> symbol
Sourceval sexp_of_symbol : symbol -> Sexplib0.Sexp.t
Sourcetype symbols = symbol array
Sourceval symbols_of_sexp : Sexplib0.Sexp.t -> symbols
Sourceval sexp_of_symbols : symbols -> 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