~/jendhub

def annotate.back

bolt@1.27.0.0 · src/syntax/bind.bend:854

import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import Base

854# a line read from the first, for a binder behind the last one
855def annotate.back(lines: List<&2, String>, +line: U32) -> String:
856  Maybe.default(&2, String, List.get(&2, String, lines, U32.to_nat(line)), "")

Uses (6)

Used by (1)