View on GitHub
Type Aliases Reference
Type Aliases
The following type aliases are available globally.
-
An abstract interpretation context.
Declaration
Swift
private typealias Context = AbstractContext<State> -
A map from function block to the context of the abstract interpreter before and after the evaluation of its instructions.
Declaration
-
An abstract interpretation context.
Declaration
Swift
private typealias Context = AbstractContext<State> -
Ends the lifetime of a projection.
Declaration
Swift
public typealias CloseCapture = RegionExit<OpenCapture> -
Ends the lifetime of a projection.
Declaration
Swift
public typealias CloseUnion = RegionExit<OpenUnion> -
Ends the lifetime of a projection.
Declaration
Swift
public typealias EndAccess = RegionExit<Access> -
Ends the lifetime of a projection.
Declaration
Swift
public typealias EndProject = RegionExit<Project>