package frama-c-rpp

  1. Overview
  2. Docs

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

(** @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"]