Twice.arm: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/twice.bend as Twice
Lines 53-55 of bolt@1.27.0.0/src/rules/correctness/twice.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/twice.bend&start_line=53&end_line=55

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

# a case statement's pattern, checked
def arm(+pat: Tree.Node, +path: String) -> List<&2, F.Finding>:
  same(head(pat), head(tail(pat)), path)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/rules/correctness/twice.bend&name=head
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/twice.bend&name=same
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/twice.bend&name=tail
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node