package frama-c

  1. Overview
  2. Docs

Source file pdg__.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 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"]