type Pinned

ezx@1.11.0.0 · src/lock/up.bend:835

import ezx@1.11.0.0/src/lock/up.bend as Up
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

835# one tool after it was asked about, or the questions still open, or why the
836# upgrade refuses
837type Pinned is Data:
838  Pinned{tool: M.Tool, moved: Bool, says: List<&2, String>}
839  PinWait{asks: List<&2, Ask>}
840  PinHalt{why: String}

Uses (5)

Used by (16)