Source file interp_common.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
(** @canonical Interp_common.Backtrace *)
module Backtrace = Interp_common__Backtrace
(** @canonical Interp_common.Error *)
module Error = Interp_common__Error
(** @canonical Interp_common.Flow *)
module Flow = Interp_common__Flow
(** @canonical Interp_common.Nondet *)
module Nondet = Interp_common__Nondet