Outline.ctor.of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/outline.bend as Outline
Lines 285-288 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=285&end_line=288

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# an indented line of a type block: `Ctor{..}`
def ctor.of(+tt: String, nn: U32) -> Maybe<&2, Item>:
  Lazy.stop(Maybe<&2, Item>, Bool.not(Bool.and(starts_upper(tt), String.contains(tt, "{"))), None{},
    _u => Some{Item{ICtor{}, name(tt), nn, tt, "", ""}})

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop
  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=ItemKind
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=name
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=starts_upper