def after

ezx@1.11.0.0 · src/pub/blurb.bend:117

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

117# whether every file of these comes no earlier than a path, a LICENSE
118# included. Law vocabulary: a file whose path is this one comes first.
119def after(+path: String, fs: List<&2, K.Source>) -> Bool:
120  match fs:
121    case []:
122      True{}
123    case +h <> t:
124      after.step(String.is_le(path, at(h)), _u => after(path, t))