~/jendhub

def pick_left

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

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

307# inside a call, unless this chain is still the left of a let
308def pick_left(+skip: Bool, +brack: Bool, +call: Bool, +tt: String) -> Nat:
309  match skip:
310    case True{}:
311      0n
312    case False{}:
313      inner_left(brack, call, tt)

Uses (4)

Used by (1)