def matches
import yaml-for-bend@0.1.1.0/re.bend as Reimport Base
108# Whether all of +s+ matches +ps+.
109def matches(ps: List<&2, Pat>, +s: String) -> Bool:
110 run(Nat.mul(Nat.add(String.length(s), 2n), 64n), ps, s)
import yaml-for-bend@0.1.1.0/re.bend as Reimport Base
108# Whether all of +s+ matches +ps+.
109def matches(ps: List<&2, Pat>, +s: String) -> Bool:
110 run(Nat.mul(Nat.add(String.length(s), 2n), 64n), ps, s)