package goblint

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

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