XBNF
forall-stmt -to -rule
to to is FORALL forall-header forall-assignment
forall-header -to -rule
to to is ( forall-triplet-spec-list [ , scalar-mask-expr ] )
XBNF
XBNF
forall-triplet-spec -to -rule
to to is index-name = subscript : subscript [ : stride ]
XBNF
XBNF
forall-assignment -to -rule
to to is assignment-stmt
-to or pointer-assignment-stmt
XBNF