Currently the docs use the following `midenup` syntax which got removed in this [PR](https://github.com/0xMiden/midenup/pull/161).
Currently the docs use the following
midenupsyntax which got removed in this PR.