Module Serlib_ltac2.Ser_g_ltac2Source

Sourcemodule Tac2expr = Ser_tac2expr
Sourcemodule L2Entry : sig ... end
Sourceval ser_wit_ltac2_entry : (L2Entry.t, Util.Empty.t, Util.Empty.t) Serlib__Ser_genarg.gen_ser
Sourcemodule L2Expr : sig ... end
Sourceval ser_wit_ltac2_expr : (L2Expr.t, Util.Empty.t, Util.Empty.t) Serlib__Ser_genarg.gen_ser
Sourceval register : unit -> unit