package coq-serapi

  1. Overview
  2. Docs

Source file serlib_extra.ml

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

(** @canonical Serlib_extra.Ser_coqargs *)
module Ser_coqargs = Serlib_extra__Ser_coqargs

(** @canonical Serlib_extra.Ser_stm *)
module Ser_stm = Serlib_extra__Ser_stm

(** @canonical Serlib_extra.Ser_xml_datatype *)
module Ser_xml_datatype = Serlib_extra__Ser_xml_datatype