def chosen.go
import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgradeimport Base
31# an empty `--package` is every dependency; a name is that one
32def chosen.go(all: Bool, +only: String, +name: String) -> Bool:
33 match all:
34 case True{}:
35 True{}
36 case False{}:
37 String.eq(only, name)