def mute

bolt@1.27.0.0 · src/rules/correctness/pick.bend:45

import Base

45# is argument nth of a group quiet: the group's own quiet, or, in a branch
46# (the third or fourth argument) of a reported pick, hushed
47def mute(+quiet: Bool, +hush: Bool, nth: Nat) -> Bool:
48  match nth:
49    case 0n:
50      quiet
51    case 1n:
52      quiet
53    case 2n:
54      Bool.or(quiet, hush)
55    case 3n:
56      Bool.or(quiet, hush)
57    case 4n+p:
58      quiet