Digest.aliased: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/digest.bend as Digest Lines 110-116 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=110&end_line=116 import Base # an item behind an alias, when an import names the alias, onto the others def aliased(mm: Maybe<&2, String>, +name: String, more: List<&2, Mention>) -> List<&2, Mention>: match mm: case Some{p}: Mention{p, name} <> more case None{}: more 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=Maybe 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/rules/digest.bend&name=Mention