def step.ty

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

import Base

421# a type header, and the block that follows it
422def step.ty(+ss: String, +nn: U32, doc: String, mode: Mode, out: List<&2, Item>) -> St:
423  St{InType{}, (nn + 1 : U32), [],
424    Item{IType{}, name(String.drop(ss, 5n)), nn, ss, doc, ""} <> flush(mode, out)}