def message.of

bolt@1.26.0.0 · src/check.bend:21

import Base

21# a message's lines: the first, then the rest indented
22def message.of(ls: List<&2, String>) -> String:
23  match ls:
24    case Nil{}:
25      ""
26    case Con{h, t}:
27      h ++ rest_lines(t)