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
val let+ : 'a list -> ('a -> 'b) -> 'b list
module ThreadLifted = ThreadIdDomain.ThreadLifted
val get_current : Queries.ask -> ThreadLifted.t
val get_current_unlift : Queries.ask -> Thread.t
module Spec : sig ... end