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
(** @canonical Pdg.Annot *)
module Annot = Pdg__Annot
(** @canonical Pdg.Api *)
module Api = Pdg__Api
(** @canonical Pdg.Build *)
module Build = Pdg__Build
(** @canonical Pdg.CtrlDpds *)
module CtrlDpds = Pdg__CtrlDpds
(** @canonical Pdg.Marks *)
module Marks = Pdg__Marks
(** @canonical Pdg.Pdg_parameters *)
module Pdg_parameters = Pdg__Pdg_parameters
(** @canonical Pdg.Pdg_state *)
module Pdg_state = Pdg__Pdg_state
(** @canonical Pdg.Pdg_tbl *)
module Pdg_tbl = Pdg__Pdg_tbl
(** @canonical Pdg.Register *)
module Register = Pdg__Register
(** @canonical Pdg.Sets *)
module Sets = Pdg__Sets
module Pdg__ = struct end
[@@deprecated "this module is shadowed"]