package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Serialization library and protocol for machine interaction with the Coq proof assistant

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (38)

Authors

Maintainers

E

e@x80.org

Sources

coq-serapi-8.10.0.0.7.0.tbz

sha256=4448c2b45a6975d7a90d3e07ce75386103d3e17c8ad96c566da854ac1e56802c

sha512=19027ca59703c8b74abd372e14403d22d07e9e8c248a50ae8f880647c10ee1f22cee93587583374c96971a667e10546b4997ff7b6a91aea51b51bbacb3052ee4

doc/coq-serapi.serlib/Serlib/index.html

Module `Serlib`

module SerType : sig ... end

module Ser_attributes : sig ... end

module Ser_bigint : sig ... end

module Ser_cAst : sig ... end

module Ser_cEphemeron : sig ... end

module Ser_cMap : sig ... end

module Ser_cPrimitives : sig ... end

module Ser_cSet : sig ... end

module Ser_cemitcodes : sig ... end

module Ser_class_tactics : sig ... end

module Ser_constr : sig ... end

module Ser_constr_matching : sig ... end

module Ser_constrexpr : sig ... end

module Ser_context : sig ... end

module Ser_conv_oracle : sig ... end

module Ser_cooking : sig ... end

module Ser_dAst : sig ... end

module Ser_decl_kinds : sig ... end

module Ser_declarations : sig ... end

module Ser_declaremods : sig ... end

module Ser_eConstr : sig ... end

module Ser_entries : sig ... end

module Ser_environ : sig ... end

module Ser_equality : sig ... end

module Ser_evar : sig ... end

module Ser_evar_kinds : sig ... end

module Ser_evd : sig ... end

module Ser_extend : sig ... end

module Ser_feedback : sig ... end

module Ser_flags : sig ... end

module Ser_future : sig ... end

module Ser_genarg : sig ... end

module Ser_genintern : sig ... end

module Ser_geninterp : sig ... end

module Ser_genredexpr : sig ... end

module Ser_glob_term : sig ... end

module Ser_globnames : sig ... end

module Ser_goal : sig ... end

module Ser_goal_select : sig ... end

module Ser_goptions : sig ... end

module Ser_gramlib : sig ... end

module Ser_hints : sig ... end

module Ser_impargs : sig ... end

module Ser_int : sig ... end

module Ser_inv : sig ... end

module Ser_libnames : sig ... end

module Ser_library : sig ... end

module Ser_loc : sig ... end

module Ser_locus : sig ... end

module Ser_ltac_pretype : sig ... end

module Ser_mltop : sig ... end

module Ser_mod_subst : sig ... end

module Ser_namegen : sig ... end

module Ser_names : sig ... end

module Ser_nametab : sig ... end

module Ser_notation : sig ... end

module Ser_notation_gram : sig ... end

module Ser_notation_term : sig ... end

module Ser_numTok : sig ... end

module Ser_opaqueproof : sig ... end

module Ser_pattern : sig ... end

module Ser_pp : sig ... end

module Ser_ppextend : sig ... end

module Ser_pretype_errors : sig ... end

module Ser_printer : sig ... end

module Ser_proof : sig ... end

module Ser_proof_bullet : sig ... end

module Ser_proof_global : sig ... end

module Ser_range : sig ... end

module Ser_reduction : sig ... end

module Ser_retroknowledge : sig ... end

module Ser_rtree : sig ... end

module Ser_safe_typing : sig ... end

module Ser_sorts : sig ... end

module Ser_stateid : sig ... end

module Ser_stdarg : sig ... end

module Ser_stdlib : sig ... end

module Ser_stm : sig ... end

module Ser_tactics : sig ... end

module Ser_tactypes : sig ... end

module Ser_tok : sig ... end

module Ser_type_errors : sig ... end

module Ser_typeclasses : sig ... end

module Ser_uGraph : sig ... end

module Ser_uState : sig ... end

module Ser_uint63 : sig ... end

module Ser_univ : sig ... end

module Ser_univNames : sig ... end

module Ser_universes : sig ... end

module Ser_util : sig ... end

module Ser_vernacexpr : sig ... end

module Ser_vernacextend : sig ... end

module Ser_vmvalues : sig ... end

module Ser_xml_datatype : sig ... end

module Serlib_base : sig ... end

module Serlib_init : sig ... end