janhaag/PSE2011 — Issue #57: Empty ranges of quantifiers missing in help
Author: ratefuchs
Created: 2012-02-28 16:33:49+00:00
State: open
Labels: Documentation

The evaluation of quantified expressions with empty (unbounded) range is not described in the documentation:
Empty range in exists: result is always true
Empty range in forall: result is always false