def parameter

bend-lint-api@0.2.0.0 · linter/lint.bend:457

import Base

457# Where the parameter that declares `binder` is among `nodes`, a definition's, counting from 0.
458def parameter(nodes: List<&2, Node>, binder: U32) -> Maybe<&2, Nat>:
459  parameter.go(nodes, None{}, binder, 0n)