~/jendhub

def ctor.of

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

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

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

Uses (11)

Used by (1)