Source file `binsec_domains__.ml`

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

(** @canonical Binsec_domains.Common *)
module Common = Binsec_domains__Common

(** @canonical Binsec_domains.Domains *)
module Domains = Binsec_domains__Domains

(** @canonical Binsec_domains.Interval *)
module Interval = Binsec_domains__Interval

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