def Ask.pure

import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

import Base

1162def Ask.pure(-A: Type, x: A) -> Ask(A):
1163  R => k => k(x)

Uses (1)