Plan.lay.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 775-786 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=775&end_line=786

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/lock/plan.bend as P

# the checkout laid, when git gave it now
def lay.of(checkout: Co, +world: TW.World) -> Lay:
  match checkout:
    case Laid{fs}:
      Lay{revdir(world), List.append(&2, P.Effect, writes.of(top(world), fs),
        [P.Write{stamp.at(world), rev(world) ++ "\n"}])}
    case Kept{_t, _l}:
      Still{}
    case CoWait{_as, _us}:
      Still{}
    case CoNo{_why}:
      Still{}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Co
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Lay
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=rev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=revdir
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=stamp.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=top
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=writes.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World