def name.held

ezx@1.11.0.0 · src/doctor/plan.bend:300

import Base

300# what a name's file says against the lock: nothing when it holds the lock's
301# hash, as bend trims it, and the fault otherwise
302def name.held(same: Bool, +nv: String, +hash: String, +was: String) -> List<&2, String>:
303  match same:
304    case True{}:
305      []
306    case False{}:
307      ["names/" ++ nv ++ " names " ++ was ++ " where the lock names " ++ hash]