def stated

ezx@1.11.0.0 · src/init/plan.bend:84

import Base

84# whether a file already states this rule, on a line of its own. A rule buried
85# in a longer line is not the rule, so the comparison is against whole lines.
86def stated(ls: List<&2, String>, +rule: String) -> Bool:
87  match ls:
88    case Nil{}:
89      False{}
90    case Con{+h, t}:
91      stated.step(String.eq(String.trim(h), rule), _u => stated(t, rule))