~/jendhub

def inner_left

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

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

252# the slot index of a call; a bracket has none
253def inner_left(+brack: Bool, +call: Bool, +tt: String) -> Nat:
254  match brack:
255    case True{}:
256      0n
257    case False{}:
258      inner_left_call(call, tt)

Uses (4)

Used by (1)