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