def read.lines

ezx@1.11.0.0 · src/ez/key.bend:42

import Base

42def read.lines(ls: List<&2, String>) -> Stamp:
43  match ls:
44    case []:
45      none()
46    case +r <> t:
47      read.second(r, t)