package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file goblint_parallel.ml

1
2
3
4
5
6
7
8
9
10
11
(** {1 Utilities for concurrency} *)

module DomainsafeLazy = DomainsafeLazy

module GobMutex = GobMutex

module Threadpool = Threadpool

(** {1 Concurrent data structures} *)

module Data = Data