Source file `goblint_parallel__.ml`

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

(** @canonical Goblint_parallel.Data *)
module Data = Goblint_parallel__Data

(** @canonical Goblint_parallel.DomainsafeLazy *)
module DomainsafeLazy = Goblint_parallel__DomainsafeLazy

(** @canonical Goblint_parallel.GobMutex *)
module GobMutex = Goblint_parallel__GobMutex

(** @canonical Goblint_parallel.Threadpool *)
module Threadpool = Goblint_parallel__Threadpool

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