Up – Package index » coq-serapi » Library serlib_ssr » Ser_ssrparser » A11

Module `Ser_ssrparser.A11`

coq-serapi
- CHANGES
- README
- Library coq-serapi.serapi_v8_10
- Library coq-serapi.serlib
  - Serlib
- Library coq-serapi.sertop_v8_10
- Library serlib_extraction
  - Ser_g_extraction
- Library serlib_firstorder
  - Ser_g_ground
- Library serlib_funind
  - Ser_g_indfun
- Library serlib_ltac
- Library serlib_setoid_ring
  - Ser_g_newring
- Library serlib_ssr
- Library serlib_ssrmatching
  - Ser_ssrmatching
- Sources

type h1 = Ssrast.Names.Id.t * (Ssrast.ssrfwdfmt * Ssrast.ast_closure_term)

val h1_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> h1

val sexp_of_h1 : h1 -> Ppx_sexp_conv_lib.Sexp.t