Module Serlib_ltac2.Ser_g_ltac2Source
Sourceval ser_wit_ltac2_entry :
(L2Entry.t, Util.Empty.t, Util.Empty.t) Serlib__Ser_genarg.gen_ser Sourceval ser_wit_ltac2_expr :
(L2Expr.t, Util.Empty.t, Util.Empty.t) Serlib__Ser_genarg.gen_ser Sourceval register : unit -> unit