Lint.is_live: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 421-425 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=421&end_line=425

import Base

# Whether a node below `path` is in live code: a definition's body, outside types: an annotation's type, an equality, a
# function or pair type, a type's arguments. Types and equations are dead: the checker sees them, the program does not
# run them.
def is_live(path: List<&2, Above>) -> Bool:
  is_live.go(path, True{})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Above
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=is_live.go