Module Goblint_lib.EscapeDomain

Domain for escaped thread-local variables.

module EscapedVars : sig ... end