Source file `goblint_build_info__.ml`

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

(** @canonical Goblint_build_info.ConfigDatetime *)
module ConfigDatetime = Goblint_build_info__ConfigDatetime

(** @canonical Goblint_build_info.ConfigOcaml *)
module ConfigOcaml = Goblint_build_info__ConfigOcaml

(** @canonical Goblint_build_info.ConfigProfile *)
module ConfigProfile = Goblint_build_info__ConfigProfile

(** @canonical Goblint_build_info.ConfigVersion *)
module ConfigVersion = Goblint_build_info__ConfigVersion

(** @canonical Goblint_build_info.Dune_build_info *)
module Dune_build_info = Goblint_build_info__Dune_build_info

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