holds
Answer whether the condition is guaranteed to hold for values constrained by the given L2ValueManifest.
Parameters
manifest
The current manifest used to check if the condition currently holds.
Answer whether the condition is guaranteed to hold for values constrained by the given L2ValueManifest.
The current manifest used to check if the condition currently holds.