~/jendhub

def refresh

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

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

1048# each binder of an environment, with the note its annotated twin carries
1049def refresh(env: List<&2, Bind>, +binds: List<&2, Bind>) -> List<&2, Bind>:
1050  refresh.go(List.reverse(&2, Bind, env), binds, binds, 0, 0, [])

Uses (4)

Used by (1)