Outline.words: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/syntax/outline.bend as Outline Lines 224-226 of bolt@1.27.0.0/src/syntax/outline.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&start_line=224&end_line=226 import Base # the words of a line def words(ss: String) -> List<&2, String>: List.filter(~String, ~nonempty, String.split(ss, ' ')) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.filter https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.split https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=nonempty