Module ThreadId

Current thread ID analysis.

module GU = Goblintutil
module LF = LibraryFunctions
module Thread = ThreadIdDomain.Thread
module ThreadLifted = ThreadIdDomain.ThreadLifted
val get_current : Queries.ask -> ThreadLifted.t
val get_current_unlift : Queries.ask -> Thread.t
module Spec : sig ... end