def git.seen
import ezx@1.11.0.0/src/lock/run.bend as Runimport Base
import ezx@1.11.0.0/src/lock/world.bend as W
228# a tree already under BEND_LIB is read; a missing one is cloned
229def git.seen(
230 got: Maybe<&2, String>,
231 +lib: String,
232 +hash: String,
233 +url: String,
234 +rev: String,
235 +entry: String
236) -> IO(W.Answer):
237 match got:
238 case Some{text}:
239 answer.lib(lib ++ "/" ++ hash, text)
240 case None{}:
241 answer.clone(lib, hash, url, rev, entry)