Source file soteria__Tiny_values__.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 Soteria.Tiny_values.Analyses *)
module Analyses = Soteria__Tiny_values__Analyses

(** @canonical Soteria.Tiny_values.Encoding *)
module Encoding = Soteria__Tiny_values__Encoding

(** @canonical Soteria.Tiny_values.Eval *)
module Eval = Soteria__Tiny_values__Eval

(** @canonical Soteria.Tiny_values.Expr *)
module Expr = Soteria__Tiny_values__Expr

(** @canonical Soteria.Tiny_values.Save_counter *)
module Save_counter = Soteria__Tiny_values__Save_counter

(** @canonical Soteria.Tiny_values.Svalue *)
module Svalue = Soteria__Tiny_values__Svalue

(** @canonical Soteria.Tiny_values.Tiny_solver *)
module Tiny_solver = Soteria__Tiny_values__Tiny_solver

(** @canonical Soteria.Tiny_values.Typed *)
module Typed = Soteria__Tiny_values__Typed

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