def example_lines

cli@0.2.0.0 · cli.bend:5604

import Base

5604def example_lines(items: List<&2, Item>) -> List<&2, Segment>:
5605  match items:
5606    case Nil{}: Nil{}
5607    case Example{line, what} <> tail:
5608      plain(String.concat(["\n  ", what, ":\n    $ ", line])) <>
5609        example_lines(tail)
5610    case head <> tail: example_lines(tail)