goblint.lib
Goblint_lib.ThreadFlag
Multi-threadedness analysis.
goblint.sites
goblint_sites_dune
goblint_sites_js
module GU = Goblintutil
module LF = LibraryFunctions
val is_multi : Queries.ask -> bool
module Spec : sig ... end