package rocq-runtime

  1. Overview
  2. Docs

Source file ssreflect_rewrite_plugin.ml

1
2
3
4
(* generated by dune *)

(** @canonical Ssreflect_rewrite_plugin.Ssrrewrite *)
module Ssrrewrite = Ssreflect_rewrite_plugin__Ssrrewrite