Source file `serlib_ltac2_ltac1.ml`

1
2
3
4
5
6
7
(* generated by dune *)

(** @canonical Serlib_ltac2_ltac1.Ser_tac2core_ltac1 *)
module Ser_tac2core_ltac1 = Serlib_ltac2_ltac1__Ser_tac2core_ltac1

(** @canonical Serlib_ltac2_ltac1.Ser_tac2quote_ltac1 *)
module Ser_tac2quote_ltac1 = Serlib_ltac2_ltac1__Ser_tac2quote_ltac1