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 Rpp.Rpp_axiomatic_generator *)
module Rpp_axiomatic_generator = Rpp__Rpp_axiomatic_generator
(** @canonical Rpp.Rpp_core *)
module Rpp_core = Rpp__Rpp_core
(** @canonical Rpp.Rpp_extend_checker *)
module Rpp_extend_checker = Rpp__Rpp_extend_checker
(** @canonical Rpp.Rpp_generator *)
module Rpp_generator = Rpp__Rpp_generator
(** @canonical Rpp.Rpp_options *)
module Rpp_options = Rpp__Rpp_options
(** @canonical Rpp.Rpp_parser *)
module Rpp_parser = Rpp__Rpp_parser
(** @canonical Rpp.Rpp_predicate_visitor *)
module Rpp_predicate_visitor = Rpp__Rpp_predicate_visitor
(** @canonical Rpp.Rpp_predicate_visitor_axiom *)
module Rpp_predicate_visitor_axiom = Rpp__Rpp_predicate_visitor_axiom
(** @canonical Rpp.Rpp_register *)
module Rpp_register = Rpp__Rpp_register
(** @canonical Rpp.Rpp_types *)
module Rpp_types = Rpp__Rpp_types
(** @canonical Rpp.Rpp_visitor *)
module Rpp_visitor = Rpp__Rpp_visitor
module Rpp__ = struct end
[@@deprecated "this module is shadowed"]