Lint.Ask: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 1157-1160 of bend-lint-api@0.2.0.0/linter/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&start_line=1157&end_line=1160

import Base

# A computation that may ask the checker, in `do Lint.Ask<A>:` blocks. Continuation-passing, so binding needs no
# recursion. A run may ask only cli.bend's `budget()` rounds, so ask for everything at once (show_all).
def Ask(-A: Type) -> Type:
  @-R: Type -> @k: (A -> Step<R>) -> Step<R>

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Step