package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.ThreadReturn`

Thread returning analysis.

val is_current : Queries.ask -> bool

module Spec : Analyses.MCPSpec