def lays.one
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
1088# whether an effect that lays a tree lays a named one
1089def lays.one(effect: Effect) -> Bool:
1090 match effect:
1091 case Lay{_place, hash, fs}:
1092 lay.named(hash, fs)
1093 case _:
1094 True{}