Up – Package index » coq-serapi » Library serlib_ltac » Serlib_ltac » Ser_tacarg

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