An assumption that is always valid.
A value that the compiler can assume is constant, but can be changed by invalidation.
Helper function that allows to dump the AST during creation to a JSON format.
An assumption that is never valid.
An assumption that combines two other assumptions.
We try to capture common language patterns in this package. Here is an overview of patterns that we have captured so far:
AssumedValuespeculates on global values to remain unchanged.
CyclicAssumptionspeculates on assumptions that might invalidate more often but are assumed to stabilize over time.
NeverValidAssumptionutility for assumptions that are always invalidated
UnionAssumptionutility for the union of two assumptions