Source file soteria__Symex__.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(* generated by dune *)

(** @canonical Soteria.Symex.Approx *)
module Approx = Soteria__Symex__Approx

(** @canonical Soteria.Symex.Fuel_gauge *)
module Fuel_gauge = Soteria__Symex__Fuel_gauge

(** @canonical Soteria.Symex.Solver *)
module Solver = Soteria__Symex__Solver

(** @canonical Soteria.Symex.Solver_result *)
module Solver_result = Soteria__Symex__Solver_result

(** @canonical Soteria.Symex.Value *)
module Value = Soteria__Symex__Value

(** @canonical Soteria.Symex.Var *)
module Var = Soteria__Symex__Var

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