Exit’s murex with either a exit number of 0 (by default if no parameters supplied) or a custom value specified by the first parameter.
exit exit number
» exit » exit 42
die: Terminate murex with an exit number of 1
null: null function. Similar to /dev/null
This site's content is rebuilt automatically from murex's source code after each merge to the
master branch. Downloadable murex binaries are also built with the website.
Last built on Thu Oct 13 08:08:18 UTC 2022 against commit ed6b6fced6b6fc609f4be93c5d3348695a762facfecf48f.
Current version is 2.11.2200 which has been verified against 16798 tests cases.