def look

ezx@1.11.0.0 · src/lock/plan.bend:58

import ezx@1.11.0.0/src/lock/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/lock/world.bend as W

58# the first verdict recorded for a hash
59def look(js: List<&2, W.Judged>, +hash: String) -> Look:
60  match js:
61    case []:
62      Absent{}
63    case W.Judged{+h, v} <> t:
64      look.at(String.eq(h, hash), v, look(t, hash))

Uses (6)

Used by (5)