Source file `coq_checklib.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
(* generated by dune *)

(** @canonical Coq_checklib.Analyze *)
module Analyze = Coq_checklib__Analyze

(** @canonical Coq_checklib.Check *)
module Check = Coq_checklib__Check

(** @canonical Coq_checklib.CheckFlags *)
module CheckFlags = Coq_checklib__CheckFlags

(** @canonical Coq_checklib.CheckInductive *)
module CheckInductive = Coq_checklib__CheckInductive

(** @canonical Coq_checklib.CheckTypes *)
module CheckTypes = Coq_checklib__CheckTypes

(** @canonical Coq_checklib.Check_stat *)
module Check_stat = Coq_checklib__Check_stat

(** @canonical Coq_checklib.Checker *)
module Checker = Coq_checklib__Checker

(** @canonical Coq_checklib.Mod_checking *)
module Mod_checking = Coq_checklib__Mod_checking

(** @canonical Coq_checklib.Safe_checking *)
module Safe_checking = Coq_checklib__Safe_checking

(** @canonical Coq_checklib.Validate *)
module Validate = Coq_checklib__Validate

(** @canonical Coq_checklib.Values *)
module Values = Coq_checklib__Values