Details
-
Feature Request
-
Resolution: Done
-
Major
-
None
-
None
Description
Add support to single pattern forall. Example:
forall( Cheese( type == "stilton" ) )
The above has the same semantics as:
forall( $c : Cheese()
Cheese( this == $c, type == "stilton" ) )