Outline.add: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/syntax/outline.bend as Outline Lines 248-254 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=248&end_line=254 import Base # an item, when there is one, onto the items def add(mm: Maybe<&2, Item>, out: List<&2, Item>) -> List<&2, Item>: match mm: case None{}: out case Some{item}: item <> out Uses (3): 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=bolt@1.27.0.0/src/syntax/outline.bend&name=Item