def name.at

ezx@1.11.0.0 · src/lock/lock.bend:91

import Base

91# the hash this name names when it is the one looked for, otherwise the
92# rest's. The rest arrives as a thunk, so the first hit ends the scan.
93def name.at(hit: Bool, hash: String, rest: Unit -> String) -> String:
94  match hit:
95    case True{}:
96      hash
97    case False{}:
98      rest(Unit{})