~/jendhub

def narrow_let

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

import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
import Base

356# a let of one name is narrow when that name is only read narrowly
357def narrow_let(hh: Hit) -> Bool:
358  Hit{wide, slot} = hh
359  Bool.and(slot, Bool.not(wide))

Uses (4)

Used by (1)