package goblint
Module Goblint_lib.EscapeDomain
Domain for escaped thread-local variables.
module EscapedVars : sig ... endGoblint_lib.EscapeDomainDomain for escaped thread-local variables.
module EscapedVars : sig ... end