Outline.indent: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/syntax/outline.bend as Outline Lines 377-386 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=377&end_line=386 import Base # an indented line: more of a pending header, a constructor of an open # type, or nothing def indent(mode: Mode, text: String, +nn: U32, out: List<&2, Item>) -> St: match mode: case Pending{k, nm, l, d, sig}: pend_more(k, nm, l, d, sig, text, nn, out) case InType{}: St{InType{}, (nn + 1 : U32), [], add(ctor(text, nn), out)} case Top{}: St{Top{}, (nn + 1 : U32), [], out} Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=Item https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=Mode https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=St https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=add https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=ctor https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=pend_more