Digest.upto: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/digest.bend as Digest Lines 175-181 of bolt@1.27.0.0/src/rules/digest.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/digest.bend&start_line=175&end_line=181 import Base import bolt@1.27.0.0/src/syntax/bind.bend as Bind # the uses before the line, when there is one; else all of them def upto(us: List<&2, Bind.Use>, mm: Maybe<&2, U32>) -> List<&2, Bind.Use>: match mm: case None{}: us case Some{at}: before(us, at) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=before https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Use