Plan.lays: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/init/plan.bend as Plan
Lines 166-175 of ezx@1.11.0.0/src/init/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/init/plan.bend&start_line=166&end_line=175

import Base

# whether `src/lib.bend` is laid out with the stub: nothing is there yet, so a
# library already there is never written over, the stub is written, and it
# sits at the project's top, where its `./src/lib.bend` import finds it. An
# entry in a directory of its own gets the stub alone.
def lays(got: Maybe<&2, String>, due: Bool, +at: String) -> Bool:
  match got:
    case Some{_s}:
      False{}
    case None{}:
      Bool.and(due, Bool.not(String.contains(at, "/")))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.contains