def start_def.on

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

import Base

397# a finished def, or a header that is still open
398def start_def.on(colon: Bool, +ss: String, +nn: U32, doc: String, out: List<&2, Item>) -> St:
399  match colon:
400    case True{}:
401      St{Top{}, (nn + 1 : U32), [], Item{IDef{}, def_name(ss), nn, ss, doc, ""} <> out}
402    case False{}:
403      St{Pending{IDef{}, def_name(ss), nn, doc, [ss]}, (nn + 1 : U32), [], out}