Foreign.name.of: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/pedantic/foreign.bend as Foreign Lines 67-73 of bolt@1.27.0.0/src/rules/pedantic/foreign.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&start_line=67&end_line=73 import Base # a def's name, `?` when it has none def name.of(mm: Maybe<&2, String>) -> String: match mm: case None{}: "?" case Some{n}: n Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String