def put
import bolt@1.27.0.0/src/rules/suspicious/unused.bend as Unusedimport Base
186# the index with one more cell, down its path
187def put(pp: List<&2, Bool>, +hh: Hits, +cell: Cell) -> Hits:
188 match pp:
189 case Nil{}:
190 HLeaf{cell <> hits.cells(hh)}
191 case Con{+bb, rest}:
192 hits.join(bb, put(rest, hits.near(bb, hh), cell), hits.near(Bool.not(bb), hh))