def stamp

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:549

import Base

549# which binding of each name an argument reads: two calls with the same text
550# read the same values only when no let of those names sits between them
551def stamp(ns: List<&2, String>, +bs: List<&2, Bind>, +line: U32, +col: U32) -> String:
552  match ns:
553    case Nil{}:
554      ""
555    case Con{+nm, rest}:
556      "|" ++ nm ++ "=" ++ U32.show(count(bs, nm, line, col)) ++ stamp(rest, bs, line, col)