Up – Package index » coq-serapi » Library serlib_ssr » Serlib_ssr » Ser_ssrparser » A4

Module `Ser_ssrparser.A4`Source

coq-serapi
- CHANGES
- README
- Library coq-serapi.serapi_v8_14
  - Serapi
- Library coq-serapi.serlib
  - Serlib
- Library coq-serapi.sertop_v8_12
  - Sertop
- Library serlib_extraction
  - Serlib_extraction
- Library serlib_firstorder
  - Serlib_firstorder
- Library serlib_funind
  - Serlib_funind
- Library serlib_ltac
  - Serlib_ltac
- Library serlib_ring
  - Serlib_ring
- Library serlib_ssr
  - Serlib_ssr
- Library serlib_ssrmatching
  - Serlib_ssrmatching
- Sources

type h1 =
  (int * Ssreflect_plugin.Ssrast.ssrterm)
  * Ssrast.Ssrmatching_plugin.Ssrmatching.cpattern Ssrast.ssragens

Sourceval h1_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> h1

Sourceval sexp_of_h1 : h1 -> Ppx_sexp_conv_lib.Sexp.t