Dump.file.got: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/sha/dump.bend as Dump Lines 40-45 of ezx@1.11.0.0/src/sha/dump.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/sha/dump.bend&start_line=40&end_line=45 import Base def file.got(got: Maybe<&2, String>, +path: String) -> IO(String): match got: case None{}: IO.die(String, 1, "ez: nar hash: " ++ path ++ ": unreadable") case Some{s}: IO.pure(String, s) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe 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