def lays
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
1202# whether a checkout is laid
1203def lays(layout: Lay) -> Bool:
1204 match layout:
1205 case Lay{_d, _ws}:
1206 True{}
1207 case Still{}:
1208 False{}
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
1202# whether a checkout is laid
1203def lays(layout: Lay) -> Bool:
1204 match layout:
1205 case Lay{_d, _ws}:
1206 True{}
1207 case Still{}:
1208 False{}