def clean.all

ezx@1.11.0.0 · src/lock/plan.bend:336

import Base

336# whether every string in a list can be written as it is
337def clean.all(ss: List<&2, String>) -> Bool:
338  match ss:
339    case []:
340      True{}
341    case h <> t:
342      +rest = clean.all(t)
343      Bool.and(clean(h), rest)