package coq-serapi

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

Module Serlib.Ser_geninternSource

Sourcemodule Store : SerType.S with type t = Genintern.Store.t
Sourcetype intern_variable_status = Genintern.intern_variable_status
Sourceval intern_variable_status_of_sexp : Sexplib.Sexp.t -> intern_variable_status
Sourceval sexp_of_intern_variable_status : intern_variable_status -> Sexplib.Sexp.t
Sourcetype glob_sign = Genintern.glob_sign
Sourceval glob_sign_of_sexp : Sexplib.Sexp.t -> glob_sign
Sourceval sexp_of_glob_sign : glob_sign -> Sexplib.Sexp.t
Sourcetype glob_constr_and_expr = Genintern.glob_constr_and_expr
Sourceval glob_constr_and_expr_of_sexp : Sexplib.Sexp.t -> glob_constr_and_expr
Sourceval sexp_of_glob_constr_and_expr : glob_constr_and_expr -> Sexplib.Sexp.t
Sourcetype glob_constr_pattern_and_expr = Genintern.glob_constr_pattern_and_expr
Sourceval glob_constr_pattern_and_expr_of_sexp : Sexplib.Sexp.t -> glob_constr_pattern_and_expr
Sourceval sexp_of_glob_constr_pattern_and_expr : glob_constr_pattern_and_expr -> Sexplib.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