Source file `verification.ml`

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

(** @canonical Verification.Conditions *)
module Conditions = Verification__Conditions

(** @canonical Verification.Globals *)
module Globals = Verification__Globals

(** @canonical Verification.Io *)
module Io = Verification__Io

(** @canonical Verification.Solver *)
module Solver = Verification__Solver

(** @canonical Verification.Z3backend *)
module Z3backend = Verification__Z3backend