type World

ezx@1.11.0.0 · src/add/world.bend:30

import ezx@1.11.0.0/src/add/world.bend as World
import Base
import ezx@1.11.0.0/src/lock/up.bend as Up
import ezx@1.11.0.0/src/lock/world.bend as W

30# everything `ez add` reads
31type World is Data:
32  World{args: Args, here: String, home: String, ledger: Maybe<&2, String>,
33    ignore: String, replies: List<&2, Up.Reply>, hubs: List<&2, W.Reply>}

Uses (6)

Used by (120)