Multiply arguments in one function with name _ not supported by prover. #468
Description
error: duplicate declaration of `_`{{ message }}
Multiply arguments in one function with name
_ not supported by prover. #468error: duplicate declaration of `_`