Source file soteria__Solvers__.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(* generated by dune *)

(** @canonical Soteria.Solvers.Config *)
module Config = Soteria__Solvers__Config

(** @canonical Soteria.Solvers.Solver_interface *)
module Solver_interface = Soteria__Solvers__Solver_interface

(** @canonical Soteria.Solvers.Value *)
module Value = Soteria__Solvers__Value

(** @canonical Soteria.Solvers.Z3 *)
module Z3 = Soteria__Solvers__Z3

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