def idx.put

bolt@1.27.0.0 · src/lsp/semantic.bend:179

import Base

179# the index with an entry in front of the ones down its path
180def idx.put(pp: List<&2, Bool>, +ii: Index, +ee: Entry) -> Index:
181  match pp:
182    case Nil{}:
183      ILeaf{ee <> idx.es(ii)}
184    case Con{+bb, rest}:
185      idx.join(bb, idx.put(rest, idx.near(bb, ii), ee), idx.near(Bool.not(bb), ii))