def render.tail

bend-toon-codec@0.1.0.0 · src/rep.bend:100

import bend-toon-codec@0.1.0.0/src/rep.bend as Rep
import Base

100def render.tail(+size: U32, +ls: List<&2, Ln>) -> String:
101  match ls:
102    case Nil{}:
103      ""
104    case Con{l, rest}:
105      "\n" ++ render.line(size, l) ++ render.tail(size, rest)

Uses (6)

Used by (1)