[snip]
[snip]
[snip]
case (x := _, y := _, z := _):*is* more explicit, because it explicitly says that x, y and z are variables that should capture (i.e. be bound to) whatever values are found. Contrast this with say
case (x := _, y := _, z): which says that z contains a value to be *matched*, and if such a match is found, x and y should capture the relevant values.Best wishes