Data (goblint.Goblint_parallel.Data)

module 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