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
(** @canonical Kernel.Automata *)
module Automata = Kernel__Automata
(** @canonical Kernel.Codegen *)
module Codegen = Kernel__Codegen
(** @canonical Kernel.Coverage *)
module Coverage = Kernel__Coverage
(** @canonical Kernel.Enumeration *)
module Enumeration = Kernel__Enumeration
(** @canonical Kernel.Info *)
module Info = Kernel__Info
(** @canonical Kernel.Lrc *)
module Lrc = Kernel__Lrc
(** @canonical Kernel.Reachability *)
module Reachability = Kernel__Reachability
(** @canonical Kernel.Redgraph *)
module Redgraph = Kernel__Redgraph
(** @canonical Kernel.Regexp *)
module Regexp = Kernel__Regexp
(** @canonical Kernel.Sentence_generation *)
module Sentence_generation = Kernel__Sentence_generation
(** @canonical Kernel.Spec *)
module Spec = Kernel__Spec
(** @canonical Kernel.Transl *)
module Transl = Kernel__Transl