Up – Package index » coq-serapi » Sources » serlib_setoid_ring » serlib_setoid_ring.ml

Source file `serlib_setoid_ring.ml`

coq-serapi
- CHANGES
- README
- Library coq-serapi.serapi_v8_12
  - 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_setoid_ring
  - Serlib_setoid_ring
- Library serlib_ssr
  - Serlib_ssr
- Library serlib_ssrmatching
  - Serlib_ssrmatching
- Sources

1
2
3
4
(* generated by dune *)

(** @canonical Serlib_setoid_ring.Ser_g_newring *)
module Ser_g_newring = Serlib_setoid_ring__Ser_g_newring