Your two examples aren’t quite equivalent. true = false raises a match error while true <- false in a with statement doesn’t. You can actually use true

Your two examples aren’t quite equivalent. true = false raises a match error while true <- false in a with statement doesn’t. You can actually use true = false in your with statement, but it will still raise the match error.