Run.git.seen: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/run.bend as Run Lines 228-241 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=228&end_line=241 import Base import ezx@1.11.0.0/src/lock/world.bend as W # a tree already under BEND_LIB is read; a missing one is cloned def git.seen( got: Maybe<&2, String>, +lib: String, +hash: String, +url: String, +rev: String, +entry: String ) -> IO(W.Answer): match got: case Some{text}: answer.lib(lib ++ "/" ++ hash, text) case None{}: answer.clone(lib, hash, url, rev, entry) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO 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 https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=answer.clone https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=answer.lib https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Answer