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
38
39
40
(** @canonical Region.Access *)
module Access = Region__Access
(** @canonical Region.Analysis *)
module Analysis = Region__Analysis
(** @canonical Region.Annot *)
module Annot = Region__Annot
(** @canonical Region.Code *)
module Code = Region__Code
(** @canonical Region.Fields *)
module Fields = Region__Fields
(** @canonical Region.Logic *)
module Logic = Region__Logic
(** @canonical Region.Memory *)
module Memory = Region__Memory
(** @canonical Region.Options *)
module Options = Region__Options
(** @canonical Region.Ranges *)
module Ranges = Region__Ranges
(** @canonical Region.Register *)
module Register = Region__Register
(** @canonical Region.Services *)
module Services = Region__Services
(** @canonical Region.Store *)
module Store = Region__Store
module Region__ = struct end
[@@deprecated "this module is shadowed"]