def rest_lines

bolt@1.26.0.0 · src/check.bend:13

import Base

13# a message's lines after the first, indented
14def rest_lines(ls: List<&2, String>) -> String:
15  match ls:
16    case Nil{}:
17      ""
18    case Con{l, t}:
19      "\n  " ++ l ++ rest_lines(t)