def add

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

import Base

248# an item, when there is one, onto the items
249def add(mm: Maybe<&2, Item>, out: List<&2, Item>) -> List<&2, Item>:
250  match mm:
251    case None{}:
252      out
253    case Some{item}:
254      item <> out