def starting

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

import Base

582# the named items whose name starts with prefix, each renamed qual ++ name (the
583# text to insert). A law and the def that fills it share a name: the first
584# stands for both.
585def starting(items: List<&2, Item>, prefix: String, qual: String) -> List<&2, Item>:
586  starting.go(items, prefix, qual, [])