Plan.Effect: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 718-729 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=718&end_line=729

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

# one thing the interpreter does. A `Lay` writes each file under
# `<place>/<hash>`, in order; the manifest comes last, so a tree that has one
# is a tree that finished. A `Drop` removes `.ez/lib/<hash>`, a committed tree
# an upgrade moved off. A `Name` writes `$BEND_LIB/names/<nv>` holding the
# hash and a newline, the file bend reads a name's hash from before it would
# ask the hub (EZ-HUB-4). A `Say` is a line a person is told.
type Effect is Data:
  Write{path: String, text: String}
  Lay{place: Place, hash: String, files: List<&2, W.Source>}
  Drop{hash: String}
  Say{text: String}
  Name{nv: String, hash: String}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Place
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Source