Blurb.after: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/blurb.bend as Blurb
Lines 117-124 of ezx@1.11.0.0/src/pub/blurb.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/blurb.bend&start_line=117&end_line=124

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_le
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/blurb.bend&name=after.step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/blurb.bend&name=at