package coq

  1. Overview
  2. Docs

Source file derive_plugin.ml

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

(** @canonical Derive_plugin.Derive *)
module Derive = Derive_plugin__Derive

(** @canonical Derive_plugin.G_derive *)
module G_derive = Derive_plugin__G_derive