def ledger.name

ezx@1.11.0.0 · src/ws/workspace.bend:228

import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
import Base

228# a ledger's package name
229def ledger.name(ledger: Ledger) -> String:
230  Ledger{_ds, nn, _w} = ledger
231  nn

Uses (2)

Used by (1)