Up.key: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/up.bend as Up Lines 221-244 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=221&end_line=244 import Base # a question as a key. A ledger value never holds a newline, so the fields # are kept apart by one. def key(ask: Ask) -> String: match ask: case Refs{url, ref}: "refs\n" ++ url ++ "\n" ++ ref case Head{url}: "head\n" ++ url case Tags{url}: "tags\n" ++ url case Above{url, pin, tip}: "above\n" ++ url ++ "\n" ++ pin ++ "\n" ++ tip case Tree{url, rev, entry}: "tree\n" ++ url ++ "\n" ++ rev ++ "\n" ++ entry case Weigh{url, rev}: "weigh\n" ++ url ++ "\n" ++ rev case HubHas{hub, hash}: "hub\n" ++ hub ++ "\n" ++ hash case Ignore{}: "ignore" case Sources{}: "sources" case Clone{url, rev}: "clone\n" ++ url ++ "\n" ++ rev Uses (3): 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/up.bend&name=Ask