Comprehension
Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.
Value-producing comprehension: evaluate body in nested iteration over one or more Element clauses and collect the results into a list. Later clauses see earlier bindings; independent clauses produce a Cartesian product. A clause with a third operand, Element(x, xs, cond), is a guard: only the elements for which cond evaluates to True are visited.
Comprehension(body: expression, iterators: expression+) -> listas compute-engine declares itTyped signatures
| Type | Package | Applies |
|---|---|---|
(body: expression, iterators: expression+) -> list | compute-engine | always |