def let.values
import bend-lint-rules@0.2.0.0/performance/bang_after_fork.bend as BangAfterForkimport Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
62# The nodes of a let (`kids`) that run before the rest of its block, its last node: its binders and values.
63def let.values(+kids: List<&2, Lint.Node>) -> List<&2, Lint.Node>:
64 List.take(&2, Lint.Node, kids, Nat.sub(Lists.length(&2, Lint.Node, kids), 1n))