package coq-serapi

Overview
Docs

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

E

Emilio Jesús Gallego Arias
K

Karl Palmskog
C

Clément Pit-Claudel
K

Kaiyu Yang

Maintainers

E

e@x80.org

Sources

coq-serapi-8.18.0.0.18.2.tbz

sha256=0fcf20002a6856b6d2485dcb55d388558dd771a8dcb99f5c614b8f5519f90801

sha512=45fa6873a65160624952de89d51ab3c44522c3485e945974e5fe97bc3c5214fa7955cd993f69bc1b87b3cfce77fde81b39ec9a43263ab4a14513a13b7c6ded92

doc/serlib_ltac/Serlib_ltac/Ser_tacarg/index.html

Module `Serlib_ltac.Ser_tacarg`Source

Source

val ser_wit_tactic : 
  (Ltac_plugin.Tacexpr.raw_tactic_expr,
    Ltac_plugin.Tacexpr.glob_tactic_expr,
    Geninterp.Val.t)
    Serlib.Ser_genarg.gen_ser