def Laws.lines
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
223def Laws.lines(ls: List<&2, String>, out: Set()) -> Set():
224 match ls:
225 case Nil{}:
226 out
227 case Con{l, rest}:
228 Laws.lines(rest, Laws.add(Laws.line(l), out))