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

(** @canonical Abstraction.Domain *)
module Domain = Abstraction__Domain

(** @canonical Abstraction.Functor *)
module Functor = Abstraction__Functor

(** @canonical Abstraction.Partitioning *)
module Partitioning = Abstraction__Partitioning

(** @canonical Abstraction.Simplified *)
module Simplified = Abstraction__Simplified

(** @canonical Abstraction.Simplified_functor *)
module Simplified_functor = Abstraction__Simplified_functor

(** @canonical Abstraction.Simplified_value *)
module Simplified_value = Abstraction__Simplified_value

(** @canonical Abstraction.Stacked *)
module Stacked = Abstraction__Stacked

(** @canonical Abstraction.Stateless *)
module Stateless = Abstraction__Stateless

(** @canonical Abstraction.Value *)
module Value = Abstraction__Value

(** @canonical Abstraction.Value_functor *)
module Value_functor = Abstraction__Value_functor