for

[This is preliminary specification and subject to change.]

Group

Support predicates (more...)

Type

nondeterm

Syntax

for( INTEGER INDEX, INTEGER FROM, INTEGER TO)

Flow patterns

(o,i,i)

Description:

Non-deterministically return integers in the range FROM to TO
Use for loop creation

Sample:

No sample