def indent

bolt@1.27.0.0 · src/syntax/outline.bend:377

import Base

377# an indented line: more of a pending header, a constructor of an open
378# type, or nothing
379def indent(mode: Mode, text: String, +nn: U32, out: List<&2, Item>) -> St:
380  match mode:
381    case Pending{k, nm, l, d, sig}:
382      pend_more(k, nm, l, d, sig, text, nn, out)
383    case InType{}:
384      St{InType{}, (nn + 1 : U32), [], add(ctor(text, nn), out)}
385    case Top{}:
386      St{Top{}, (nn + 1 : U32), [], out}