Strict.leaf: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/strict.bend as Strict
Lines 73-87 of bolt@1.27.0.0/src/rules/pedantic/strict.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/strict.bend&start_line=73&end_line=87

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

# a leaf read by its kind: past a comma, past a `=>`, or past any other
# token; only the branch taken runs
def leaf(
  kk: Lex.TokKind,
  comma: Unit -> List<&2, F.Finding>,
  lam: Unit -> List<&2, F.Finding>,
  plain: Unit -> List<&2, F.Finding>
) -> List<&2, F.Finding>:
  match kk:
    case Lex.TComma{}:
      comma(Unit{})
    case Lex.TLam{}:
      lam(Unit{})
    case _k:
      plain(Unit{})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind