Manifest.problem: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 231-236 of ezx@1.11.0.0/src/ledger/manifest.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&start_line=231&end_line=236

import Base

# the first problem with the document, or "" when there is none. A syntax error
# comes first, since a section that did not parse cannot be judged.
def problem(+bad: String, +miss: String) -> String:
  Bool.pick(String, String.is_empty(bad),
    Bool.pick(String, String.is_empty(miss), "", miss ++ " has no hash"),
    bad)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty