Predicate inVoidContext
Holds if e appears in a syntactic context where its value is discarded.
Import path
import Expressions.ExprHasNoEffectpredicate inVoidContext(Expr e)Holds if e appears in a syntactic context where its value is discarded.
import Expressions.ExprHasNoEffectpredicate inVoidContext(Expr e)