package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Serlib_ltac.Ser_tacarg`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