~/jendhub

def inner_left_call

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

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

244# the slot index of a call; a bracket has none
245def inner_left_call(+call: Bool, +tt: String) -> Nat:
246  match call:
247    case True{}:
248      slot_at(slot_of(tt))
249    case False{}:
250      0n

Uses (5)

Used by (1)