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

import Base

def is_live.go(path: List<&2, Above>, ok: Bool) -> Bool:
  match path ok:
    case _ False{}:
      False{}
    case Nil{} True{}:
      False{}
    case Con{Above{Node{Body{}, n, s, k, f}, at}, rest} True{}:
      True{}
    case Con{Above{Node{Annotation{}, n, s, k, f}, at}, rest} True{}:
      is_live.go(rest, U32.is_eq(at, 0))
    case Con{Above{Node{Application{}, n, s, k, f}, at}, rest} True{}:
      is_live.go(rest, Bool.not(is_pair(k)))
    case Con{Above{Node{Equality{}, n, s, k, f}, at}, rest} True{}:
      False{}
    case Con{Above{Node{Forall{b, q}, n, s, k, f}, at}, rest} True{}:
      False{}
    case Con{Above{Node{TypeApplication{t}, n, s, k, f}, at}, rest} True{}:
      False{}
    case Con{a, rest} True{}:
      is_live.go(rest, True{})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  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=Node
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Syntax
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=is_pair