For Development HEAD DRAFT
Search (procedure/syntax/module):
The node you are looking for is at
Array predicate and constructors
.