Pick.mute: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/pick.bend as Pick
Lines 45-58 of bolt@1.27.0.0/src/rules/correctness/pick.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/pick.bend&start_line=45&end_line=58

import Base

# is argument nth of a group quiet: the group's own quiet, or, in a branch
# (the third or fourth argument) of a reported pick, hushed
def mute(+quiet: Bool, +hush: Bool, nth: Nat) -> Bool:
  match nth:
    case 0n:
      quiet
    case 1n:
      quiet
    case 2n:
      Bool.or(quiet, hush)
    case 3n:
      Bool.or(quiet, hush)
    case 4n+p:
      quiet

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat