package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_parallel.Data`Source

Sourcemodule type DefaultType = sig ... end

A type with a default factory

module ConcurrentHashmap
  (H : Batteries.Hashtbl.HashedType)
  (D : DefaultType)
  (HM : Batteries.Hashtbl.S with type key = H.t) : 
  sig ... end

A lock free concurrency safe hashmap