Module Cached

Holds if init is a closure variable that captures the value of capturedvar.

Holds if the value defined at def can reach use without passing through any other uses, but possibly through phi nodes and uncertain implicit updates.

Gets the destination variable of an update of a tracked variable.

Holds if fw is an update of f in c that is relevant for SSA construction.

Holds if the SSA definition of v at def reaches redef without crossing another SSA definition of v.

Provides internal implementation predicates that are not cached and should not be used outside of this file.