Source file `goblint_std__.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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
(* generated by dune *)

(** @canonical Goblint_std.GobArray *)
module GobArray = Goblint_std__GobArray

(** @canonical Goblint_std.GobFpath *)
module GobFpath = Goblint_std__GobFpath

(** @canonical Goblint_std.GobGc *)
module GobGc = Goblint_std__GobGc

(** @canonical Goblint_std.GobHashtbl *)
module GobHashtbl = Goblint_std__GobHashtbl

(** @canonical Goblint_std.GobList *)
module GobList = Goblint_std__GobList

(** @canonical Goblint_std.GobOption *)
module GobOption = Goblint_std__GobOption

(** @canonical Goblint_std.GobPretty *)
module GobPretty = Goblint_std__GobPretty

(** @canonical Goblint_std.GobQCheck *)
module GobQCheck = Goblint_std__GobQCheck

(** @canonical Goblint_std.GobRef *)
module GobRef = Goblint_std__GobRef

(** @canonical Goblint_std.GobResult *)
module GobResult = Goblint_std__GobResult

(** @canonical Goblint_std.GobSys *)
module GobSys = Goblint_std__GobSys

(** @canonical Goblint_std.GobUnix *)
module GobUnix = Goblint_std__GobUnix

(** @canonical Goblint_std.GobYaml *)
module GobYaml = Goblint_std__GobYaml

(** @canonical Goblint_std.GobYojson *)
module GobYojson = Goblint_std__GobYojson

(** @canonical Goblint_std.GobZ *)
module GobZ = Goblint_std__GobZ

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