Source file `ssreflect_plugin.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
(* generated by dune *)

(** @canonical Ssreflect_plugin.Ssrast *)
module Ssrast = Ssreflect_plugin__Ssrast

(** @canonical Ssreflect_plugin.Ssrbwd *)
module Ssrbwd = Ssreflect_plugin__Ssrbwd

(** @canonical Ssreflect_plugin.Ssrcommon *)
module Ssrcommon = Ssreflect_plugin__Ssrcommon

(** @canonical Ssreflect_plugin.Ssrelim *)
module Ssrelim = Ssreflect_plugin__Ssrelim

(** @canonical Ssreflect_plugin.Ssrequality *)
module Ssrequality = Ssreflect_plugin__Ssrequality

(** @canonical Ssreflect_plugin.Ssrfwd *)
module Ssrfwd = Ssreflect_plugin__Ssrfwd

(** @canonical Ssreflect_plugin.Ssripats *)
module Ssripats = Ssreflect_plugin__Ssripats

(** @canonical Ssreflect_plugin.Ssrparser *)
module Ssrparser = Ssreflect_plugin__Ssrparser

(** @canonical Ssreflect_plugin.Ssrprinters *)
module Ssrprinters = Ssreflect_plugin__Ssrprinters

(** @canonical Ssreflect_plugin.Ssrtacs *)
module Ssrtacs = Ssreflect_plugin__Ssrtacs

(** @canonical Ssreflect_plugin.Ssrtacticals *)
module Ssrtacticals = Ssreflect_plugin__Ssrtacticals

(** @canonical Ssreflect_plugin.Ssrvernac *)
module Ssrvernac = Ssreflect_plugin__Ssrvernac

(** @canonical Ssreflect_plugin.Ssrview *)
module Ssrview = Ssreflect_plugin__Ssrview