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

(** @canonical C_common.Alarms *)
module Alarms = C_common__Alarms

(** @canonical C_common.Base *)
module Base = C_common__Base

(** @canonical C_common.Builtins *)
module Builtins = C_common__Builtins

(** @canonical C_common.Common *)
module Common = C_common__Common

(** @canonical C_common.Points_to *)
module Points_to = C_common__Points_to

(** @canonical C_common.Quantified_offset *)
module Quantified_offset = C_common__Quantified_offset

(** @canonical C_common.Scope_update *)
module Scope_update = C_common__Scope_update

(** @canonical C_common.Soundness *)
module Soundness = C_common__Soundness

module C_common__ = struct end
[@@deprecated "this module is shadowed"]