def notes.of

ezx@1.11.0.0 · src/add/relock.bend:133

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

133# the note: the line when the lock does not hold the package, none when it does
134def notes.of(held: Bool, +hash: String) -> List<&2, P.Effect>:
135  match held:
136    case True{}:
137      []
138    case False{}:
139      [P.Say{unlocked(hash)}]