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.2.tbz

sha256=39018932b0520cc042246a3f9e03f3788d1aaff65568b480d8681cba235032e9

sha512=62a3bb3950e5f9d9cfa5fca85a1108a04fd8c1833cba560ff9d52246ef96d3d61a4743e6dc6d52f53c6a495040fad53f1d9aae383609227a6eb84568ad2a1a6c

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